mdev_bus_unregister  417 drivers/vfio/mdev/mdev_core.c 	mdev_bus_unregister();
mdev_bus_unregister   14 drivers/vfio/mdev/mdev_private.h void mdev_bus_unregister(void);