__aspm_ctx_disable   63 drivers/infiniband/hw/hfi1/aspm.h void __aspm_ctx_disable(struct hfi1_ctxtdata *rcd);
__aspm_ctx_disable   73 drivers/infiniband/hw/hfi1/aspm.h 	__aspm_ctx_disable(rcd);