usr_ctxts          76 drivers/infiniband/hw/hfi1/user_pages.c 	unsigned int usr_ctxts =
usr_ctxts          85 drivers/infiniband/hw/hfi1/user_pages.c 	cache_limit = (ulimit / usr_ctxts) / 4;