Home
last modified time | relevance | path

Searched refs:extra_dbg (Results 1 – 1 of 1) sorted by relevance

/Linux-v6.1/drivers/vfio/platform/
Dvfio_platform_common.c72 const char **extra_dbg) in vfio_platform_acpi_call_reset() argument
82 if (extra_dbg) in vfio_platform_acpi_call_reset()
83 *extra_dbg = acpi_format_exception(acpi_ret); in vfio_platform_acpi_call_reset()
207 const char **extra_dbg) in vfio_platform_call_reset() argument
211 return vfio_platform_acpi_call_reset(vdev, extra_dbg); in vfio_platform_call_reset()
225 const char *extra_dbg = NULL; in vfio_platform_close_device() local
228 ret = vfio_platform_call_reset(vdev, &extra_dbg); in vfio_platform_close_device()
233 ret, extra_dbg ? extra_dbg : ""); in vfio_platform_close_device()
245 const char *extra_dbg = NULL; in vfio_platform_open_device() local
260 ret = vfio_platform_call_reset(vdev, &extra_dbg); in vfio_platform_open_device()
[all …]