Symbol: feth_plt
drivers/infiniband/sw/rxe/rxe_resp.c
216
u32 flush_type = feth_plt(pkt);
drivers/infiniband/sw/rxe/rxe_resp.c
454
u32 flush_type = feth_plt(pkt);
drivers/infiniband/sw/rxe/rxe_resp.c
638
res->flush.type = feth_plt(pkt);