__partid          531 drivers/misc/sgi-xp/xpc_main.c xpc_activating(void *__partid)
__partid          533 drivers/misc/sgi-xp/xpc_main.c 	short partid = (u64)__partid;