Symbol: efi_reset_type
headers/private/kernel/platform/efi/runtime-services.h
138
efi_status (*ResetSystem) (efi_reset_type reset_type, efi_status reset_status,
headers/private/kernel/platform/efi/runtime-services.h
148
efi_reset_type* reset_type) EFIAPI;