watchlist_num     117 arch/ia64/include/asm/sn/sn_sal.h sn_mq_watchlist_free(int blade, int watchlist_num)
watchlist_num     121 arch/ia64/include/asm/sn/sn_sal.h 			watchlist_num, 0, 0, 0, 0, 0);
watchlist_num     138 arch/x86/platform/uv/bios_uv.c uv_bios_mq_watchlist_free(int blade, int watchlist_num)
watchlist_num     141 arch/x86/platform/uv/bios_uv.c 				blade, watchlist_num, 0, 0, 0);
watchlist_num     132 drivers/misc/sgi-xp/xpc.h 	int watchlist_num;	/* number of watchlist allocatd by BIOS */
watchlist_num     187 drivers/misc/sgi-xp/xpc_uv.c 	mq->watchlist_num = ret;
watchlist_num     198 drivers/misc/sgi-xp/xpc_uv.c 	ret = uv_bios_mq_watchlist_free(mmr_pnode, mq->watchlist_num);
watchlist_num     201 drivers/misc/sgi-xp/xpc_uv.c 	ret = sn_mq_watchlist_free(mmr_pnode, mq->watchlist_num);