Symbol: feth_plt
drivers/infiniband/sw/rxe/rxe_resp.c
217
u32 flush_type = feth_plt(pkt);
drivers/infiniband/sw/rxe/rxe_resp.c
491
u32 flush_type = feth_plt(pkt);
drivers/infiniband/sw/rxe/rxe_resp.c
687
res->flush.type = feth_plt(pkt);