@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