Searched refs:EFI_RESET_SYSTEM (Results 1 – 1 of 1) sorted by relevance
618 (EFIAPI *EFI_RESET_SYSTEM) ( typedef829 EFI_RESET_SYSTEM ResetSystem;