rxe_cleanup_ports 69 drivers/infiniband/sw/rxe/rxe.c rxe_cleanup_ports(rxe); rxe_cleanup_ports 283 drivers/infiniband/sw/rxe/rxe.c rxe_cleanup_ports(rxe);