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
573 typedef void efi_reset_system_t (int reset_type, efi_status_t status, typedef606 efi_reset_system_t *reset_system;973 efi_reset_system_t *reset_system;
209 (efi_reset_system_t *) __va(runtime->reset_system), \
