Searched refs:TPL_HIGH_LEVEL (Results 1 – 3 of 3) sorted by relevance
58 TPL_HIGH_LEVEL, notify, NULL, &event_wait); in setup()
195 case TPL_HIGH_LEVEL: in is_valid_tpl()265 if (efi_tpl > TPL_HIGH_LEVEL) in efi_raise_tpl()266 efi_tpl = TPL_HIGH_LEVEL; in efi_raise_tpl()288 if (efi_tpl > TPL_HIGH_LEVEL) in efi_restore_tpl()289 efi_tpl = TPL_HIGH_LEVEL; in efi_restore_tpl()1936 efi_tpl = TPL_HIGH_LEVEL; in efi_exit_boot_services()
56 #define TPL_HIGH_LEVEL 0x1F macro