vfio_platform_acpi_has_reset  108 drivers/vfio/platform/vfio_platform_common.c 		return vfio_platform_acpi_has_reset(vdev);
vfio_platform_acpi_has_reset  116 drivers/vfio/platform/vfio_platform_common.c 		return vfio_platform_acpi_has_reset(vdev) ? 0 : -ENOENT;