Symbol: EFI_RESET_TYPE
sys/dev/efi/efi.h
147
typedef VOID (EFIAPI *EFI_RESET_SYSTEM)(EFI_RESET_TYPE, EFI_STATUS, UINTN, VOID *);
sys/stand/efi/include/efiapi.h
433
IN EFI_RESET_TYPE ResetType,