hfi1_clear_ctxt_jkey 1432 drivers/infiniband/hw/hfi1/chip.h int hfi1_clear_ctxt_jkey(struct hfi1_devdata *dd, struct hfi1_ctxtdata *ctxt);
hfi1_clear_ctxt_jkey  698 drivers/infiniband/hw/hfi1/file_ops.c 	hfi1_clear_ctxt_jkey(dd, uctxt);