wakeup_channel_mgr  853 drivers/misc/sgi-xp/xpc_main.c 	int wakeup_channel_mgr;
wakeup_channel_mgr  873 drivers/misc/sgi-xp/xpc_main.c 		wakeup_channel_mgr = 0;
wakeup_channel_mgr  881 drivers/misc/sgi-xp/xpc_main.c 				wakeup_channel_mgr = 1;
wakeup_channel_mgr  889 drivers/misc/sgi-xp/xpc_main.c 		if (wakeup_channel_mgr)