| /src/sys/arch/x86/include/ |
| efi.h | 64 typedef uintn efi_tpl; typedef in typeref:typename:uintn
77 efi_tpl (*bs_raisetpl)(efi_tpl);
78 void (*bs_restoretpl)(efi_tpl);
86 efi_status (*bs_createevent)(uint32_t, efi_tpl, efi_event_notify,
142 efi_status (*bs_createeventex)(uint32_t, efi_tpl,
|
| efi.h | 64 typedef uintn efi_tpl; typedef in typeref:typename:uintn
77 efi_tpl (*bs_raisetpl)(efi_tpl);
78 void (*bs_restoretpl)(efi_tpl);
86 efi_status (*bs_createevent)(uint32_t, efi_tpl, efi_event_notify,
142 efi_status (*bs_createeventex)(uint32_t, efi_tpl,
|
| efi.h | 64 typedef uintn efi_tpl; typedef in typeref:typename:uintn
77 efi_tpl (*bs_raisetpl)(efi_tpl);
78 void (*bs_restoretpl)(efi_tpl);
86 efi_status (*bs_createevent)(uint32_t, efi_tpl, efi_event_notify,
142 efi_status (*bs_createeventex)(uint32_t, efi_tpl,
|
