clear_full_mgmt_pkey 1084 drivers/infiniband/hw/hfi1/chip.c static void clear_full_mgmt_pkey(struct hfi1_pportdata *ppd);
clear_full_mgmt_pkey 9422 drivers/infiniband/hw/hfi1/chip.c 	clear_full_mgmt_pkey(ppd);