Searched refs:ResetSystem (Results 1 – 2 of 2) sorted by relevance
138 efi_status (*ResetSystem) (efi_reset_type reset_type, efi_status reset_status, member
222 kRuntimeServices->ResetSystem(EfiResetCold, EFI_SUCCESS, 0, NULL); in platform_exit()