hfi1_event_pkey_change 7281 drivers/infiniband/hw/hfi1/chip.c 		hfi1_event_pkey_change(ppd->dd, ppd->port);
hfi1_event_pkey_change   89 drivers/infiniband/hw/hfi1/intr.c 	hfi1_event_pkey_change(ppd->dd, ppd->port);
hfi1_event_pkey_change 1714 drivers/infiniband/hw/hfi1/mad.c 		hfi1_event_pkey_change(dd, port);
hfi1_event_pkey_change  439 drivers/infiniband/hw/hfi1/mad.h void hfi1_event_pkey_change(struct hfi1_devdata *dd, u8 port);