hfi1_set_ctxt_pkey 1433 drivers/infiniband/hw/hfi1/chip.h int hfi1_set_ctxt_pkey(struct hfi1_devdata *dd, struct hfi1_ctxtdata *ctxt,
hfi1_set_ctxt_pkey 1617 drivers/infiniband/hw/hfi1/file_ops.c 			return hfi1_set_ctxt_pkey(dd, uctxt, pkey);