IBK_ON_DEMAND_PAGING
IBK_ON_DEMAND_PAGING)) {
props->kernel_cap_flags |= IBK_ON_DEMAND_PAGING;
rxe->attr.kernel_cap_flags |= IBK_ON_DEMAND_PAGING;
!(ib_dev->attrs.kernel_cap_flags & IBK_ON_DEMAND_PAGING))
IBK_ON_DEMAND_PAGING) &&