Searched refs:EFI_RESET_SYSTEM (Results 1 – 4 of 4) sorted by relevance
565 (EFIAPI *EFI_RESET_SYSTEM) ( typedef717 EFI_RESET_SYSTEM ResetSystem;
944 (EFIAPI *EFI_RESET_SYSTEM)( typedef1653 EFI_RESET_SYSTEM ResetSystem;