Searched refs:TPL_HIGH_LEVEL (Results 1 – 3 of 3) sorted by relevance
58 TPL_HIGH_LEVEL, notify, NULL, &event_wait); in setup()
256 if (efi_tpl > TPL_HIGH_LEVEL) in efi_raise_tpl()257 efi_tpl = TPL_HIGH_LEVEL; in efi_raise_tpl()279 if (efi_tpl > TPL_HIGH_LEVEL) in efi_restore_tpl()280 efi_tpl = TPL_HIGH_LEVEL; in efi_restore_tpl()1810 efi_tpl = TPL_HIGH_LEVEL; in efi_exit_boot_services()
44 #define TPL_HIGH_LEVEL 0x1F macro