Type Definition EFI_RESET_SYSTEM
efi_ffi::runtime_services
type EFI_RESET_SYSTEM = *const NOT_DEFINED;