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