Searched refs:efi_get_reboot_to_firmware (Results 1 – 4 of 4) sorted by relevance
13 int efi_get_reboot_to_firmware(void);31 static inline int efi_get_reboot_to_firmware(void) { in efi_get_reboot_to_firmware() function
150 int efi_get_reboot_to_firmware(void) { in efi_get_reboot_to_firmware() function
1618 k = efi_get_reboot_to_firmware(); in verb_status()2271 r = efi_get_reboot_to_firmware(); in verb_reboot_to_firmware()
2637 r = efi_get_reboot_to_firmware(); in property_get_reboot_to_firmware_setup()