user_rmt_reduced 13250 drivers/infiniband/hw/hfi1/chip.c 	int user_rmt_reduced;
user_rmt_reduced 13327 drivers/infiniband/hw/hfi1/chip.c 		user_rmt_reduced = NUM_MAP_ENTRIES - rmt_count;
user_rmt_reduced 13331 drivers/infiniband/hw/hfi1/chip.c 			   user_rmt_reduced);
user_rmt_reduced 13333 drivers/infiniband/hw/hfi1/chip.c 		n_usr_ctxts = user_rmt_reduced;