hfi1_free_ctxtdata 1490 drivers/infiniband/hw/hfi1/hfi.h void hfi1_free_ctxtdata(struct hfi1_devdata *dd, struct hfi1_ctxtdata *rcd);
hfi1_free_ctxtdata  222 drivers/infiniband/hw/hfi1/init.c 	hfi1_free_ctxtdata(rcd->dd, rcd);