SALRET_OK         202 drivers/misc/sgi-xp/xpc_uv.c 	BUG_ON(ret != SALRET_OK);
SALRET_OK         801 drivers/misc/sgi-xp/xpc_uv.c 	if (status == SALRET_OK)