Searched refs:extra_dbg (Results 1 – 1 of 1) sorted by relevance
72 const char **extra_dbg) in vfio_platform_acpi_call_reset() argument82 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() argument211 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() local228 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() local260 ret = vfio_platform_call_reset(vdev, &extra_dbg); in vfio_platform_open_device()[all …]