xpc_increment_heartbeat_uv  850 drivers/misc/sgi-xp/xpc_uv.c 	xpc_increment_heartbeat_uv();
xpc_increment_heartbeat_uv  857 drivers/misc/sgi-xp/xpc_uv.c 	xpc_increment_heartbeat_uv();
xpc_increment_heartbeat_uv 1693 drivers/misc/sgi-xp/xpc_uv.c 	.increment_heartbeat = xpc_increment_heartbeat_uv,