Lines Matching refs:EFI_RESET_SYSTEM
1015 (EFIAPI *EFI_RESET_SYSTEM)( 1808 EFI_RESET_SYSTEM ResetSystem;
