mdev_bus_register  409 drivers/vfio/mdev/mdev_core.c 	return mdev_bus_register();
mdev_bus_register   13 drivers/vfio/mdev/mdev_private.h int  mdev_bus_register(void);