Symbol: vfio_platform_acpi_has_reset
drivers/vfio/platform/vfio_platform_common.c
107
return vfio_platform_acpi_has_reset(vdev);
drivers/vfio/platform/vfio_platform_common.c
115
return vfio_platform_acpi_has_reset(vdev) ? 0 : -ENOENT;