rxe_register_device  315 drivers/infiniband/sw/rxe/rxe.c 	return rxe_register_device(rxe, ibdev_name);
rxe_register_device  468 drivers/infiniband/sw/rxe/rxe_verbs.h int rxe_register_device(struct rxe_dev *rxe, const char *ibdev_name);