vfio_platform_unregister_reset  746 drivers/vfio/platform/vfio_platform_common.c EXPORT_SYMBOL_GPL(vfio_platform_unregister_reset);
vfio_platform_unregister_reset   95 drivers/vfio/platform/vfio_platform_private.h extern void vfio_platform_unregister_reset(const char *compat,
vfio_platform_unregister_reset  114 drivers/vfio/platform/vfio_platform_private.h 	vfio_platform_unregister_reset(compat, reset);		\