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