orig_pm_power_off    9 drivers/firmware/efi/reboot.c static void (*orig_pm_power_off)(void);
orig_pm_power_off   61 drivers/firmware/efi/reboot.c 	if (orig_pm_power_off)
orig_pm_power_off   62 drivers/firmware/efi/reboot.c 		orig_pm_power_off();
orig_pm_power_off   71 drivers/firmware/efi/reboot.c 		orig_pm_power_off = pm_power_off;