__vfio_platform_register_reset  728 drivers/vfio/platform/vfio_platform_common.c EXPORT_SYMBOL_GPL(__vfio_platform_register_reset);
__vfio_platform_register_reset   94 drivers/vfio/platform/vfio_platform_private.h extern void __vfio_platform_register_reset(struct vfio_platform_reset_node *n);
__vfio_platform_register_reset  103 drivers/vfio/platform/vfio_platform_private.h __vfio_platform_register_reset(&__reset ## _node)