Symbol: rxe_register_device
drivers/infiniband/sw/rxe/rxe.c
212
return rxe_register_device(rxe, ibdev_name, ndev);
drivers/infiniband/sw/rxe/rxe_verbs.h
523
int rxe_register_device(struct rxe_dev *rxe, const char *ibdev_name,