xpc_system_reboot  159 drivers/misc/sgi-xp/xpc_main.c static int xpc_system_reboot(struct notifier_block *, unsigned long, void *);
xpc_system_reboot  161 drivers/misc/sgi-xp/xpc_main.c 	.notifier_call = xpc_system_reboot,