Searched refs:efi_reset_system_t (Results 1 – 3 of 3) sorted by relevance
171 struct efi_reset_system_t { struct190 struct efi_reset_system_t reset_system; argument
586 typedef void efi_reset_system_t (int reset_type, efi_status_t status, typedef619 efi_reset_system_t *reset_system;1016 efi_reset_system_t *reset_system;
212 (efi_reset_system_t *) __va(runtime->reset_system), \
