Searched refs:efi_restore_tpl_t (Results 1 – 1 of 1) sorted by relevance
304 typedef void __abi (*efi_restore_tpl_t)(uintptr_t OldTpl); typedef553 efi_restore_tpl_t RestoreTPL;