Symbol: invalidate_page_trampoline
sys/ofed/drivers/infiniband/core/ib_umem_odp.c
180
invalidate_page_trampoline, NULL);
sys/ofed/drivers/infiniband/core/ib_umem_odp.c
484
invalidate_page_trampoline(