Symbol: RXE_PAGEFAULT_DEFAULT
drivers/infiniband/sw/rxe/rxe_odp.c
230
u32 flags = RXE_PAGEFAULT_DEFAULT;
drivers/infiniband/sw/rxe/rxe_odp.c
320
RXE_PAGEFAULT_DEFAULT);
drivers/infiniband/sw/rxe/rxe_odp.c
343
RXE_PAGEFAULT_DEFAULT);
drivers/infiniband/sw/rxe/rxe_odp.c
386
RXE_PAGEFAULT_DEFAULT);
drivers/infiniband/sw/rxe/rxe_odp.c
509
u32 pf_flags = RXE_PAGEFAULT_DEFAULT;