The EFI console output call return with interrput enabled, it is a firmware bug. And there was a solution that disabled interrupt it return right away. But in some case the interrupt could happen during the efi call context. If an interrupt was handled, a printk call again will make it re-entried, or a swap might be happens. This is suggested solution appiled for EFI console output: 1. Skip printk call when it is called in interrupt context. 2. Disable the schedule during the EFI call window. Signed-off-by: Enjia Mai <enjia.mai@intel.com> |
||
|---|---|---|
| .. | ||
| core | ||
| include | ||
| zefi | ||
| CMakeLists.txt | ||
| gen_gdt.py | ||
| gen_idt.py | ||
| gen_mmu.py | ||
| ia32.cmake | ||
| intel64.cmake | ||
| Kconfig | ||
| timing.c | ||