sc_group_release_update 8145 drivers/infiniband/hw/hfi1/chip.c 	sc_group_release_update(dd, source);
sc_group_release_update  298 drivers/infiniband/hw/hfi1/pio.h void sc_group_release_update(struct hfi1_devdata *dd, u32 hw_context);