Searched defs:EFI_SET_WATCHDOG_TIMER (Results 1 – 2 of 2) sorted by relevance
407 (EFIAPI *EFI_SET_WATCHDOG_TIMER) ( typedef
995 (EFIAPI *EFI_SET_WATCHDOG_TIMER)( typedef