_module_exit      112 drivers/vfio/platform/vfio_platform_private.h static void __exit reset ## _module_exit(void)			\
_module_exit      117 drivers/vfio/platform/vfio_platform_private.h module_exit(reset ## _module_exit)