@JamesWangAmiTw The timer callback function is `efi_tick()`, not 
`efi_currticks()`.  The timer event controlled by 
`efi_tick_startup()`/`efi_tick_shutdown()` does not execute the code in 
`efi_currticks()`.

There should not be any code path that leads to `efi_currticks()` while at 
TPL_APPLICATION.  If such a code path exists, then that code path is missing a 
call to RaiseTPL.  This is the bug that we need to find and fix.

The most promising approach seems to be for me to reproduce the issue locally.  
The tests that I have done so far do not reproduce the issue: I am observing 
only the expected TPL at all times.  I am working on attempting to reproduce 
the problem as per @jjohnson42's suggestion.  If you have an alternative test 
case that allows me to reproduce the issue locally then I am happy to use that 
instead.

Michael


-- 
You are receiving this because you commented.
Reply to this email directly or view it on GitHub:
https://github.com/ipxe/ipxe/pull/113#issuecomment-652304418
_______________________________________________
ipxe-devel mailing list
ipxe-devel@lists.ipxe.org
https://lists.ipxe.org/mailman/listinfo/ipxe-devel

Reply via email to