Symbol: RXE_PAGEFAULT_SNAPSHOT
drivers/infiniband/sw/rxe/rxe_odp.c
47
bool fault = !(flags & RXE_PAGEFAULT_SNAPSHOT);
drivers/infiniband/sw/rxe/rxe_odp.c
518
pf_flags |= RXE_PAGEFAULT_SNAPSHOT;
drivers/infiniband/sw/rxe/rxe_odp.c
71
RXE_PAGEFAULT_SNAPSHOT);