xpc_hb_max_interval   85 drivers/misc/sgi-xp/xpc_main.c static int xpc_hb_max_interval = 10;
xpc_hb_max_interval  103 drivers/misc/sgi-xp/xpc_main.c 	 .extra2 = &xpc_hb_max_interval},