rxe_port_down     109 drivers/infiniband/sw/rxe/rxe.h void rxe_port_down(struct rxe_dev *rxe);
rxe_port_down     590 drivers/infiniband/sw/rxe/rxe_net.c 		rxe_port_down(rxe);
rxe_port_down     611 drivers/infiniband/sw/rxe/rxe_net.c 		rxe_port_down(rxe);