Searched defs:EFI_SET_WATCHDOG_TIMER (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/contrib/edk2/Include/Uefi/ | ||
| H A D | UefiSpec.h | 1022 (EFIAPI *EFI_SET_WATCHDOG_TIMER)( typedef |
| /freebsd/stand/efi/include/ | ||
| H A D | efiapi.h | 419 (EFIAPI *EFI_SET_WATCHDOG_TIMER) ( typedef |