Lines Matching refs:extra_dbg
72 const char **extra_dbg) in vfio_platform_acpi_call_reset() argument
81 if (extra_dbg) in vfio_platform_acpi_call_reset()
82 *extra_dbg = acpi_format_exception(acpi_ret); in vfio_platform_acpi_call_reset()
203 const char **extra_dbg) in vfio_platform_call_reset() argument
207 return vfio_platform_acpi_call_reset(vdev, extra_dbg); in vfio_platform_call_reset()
221 const char *extra_dbg = NULL; in vfio_platform_close_device() local
224 ret = vfio_platform_call_reset(vdev, &extra_dbg); in vfio_platform_close_device()
229 ret, extra_dbg ? extra_dbg : ""); in vfio_platform_close_device()
241 const char *extra_dbg = NULL; in vfio_platform_open_device() local
256 ret = vfio_platform_call_reset(vdev, &extra_dbg); in vfio_platform_open_device()
261 ret, extra_dbg ? extra_dbg : ""); in vfio_platform_open_device()