extra_dbg 72 drivers/vfio/platform/vfio_platform_common.c const char **extra_dbg) extra_dbg 82 drivers/vfio/platform/vfio_platform_common.c if (extra_dbg) extra_dbg 83 drivers/vfio/platform/vfio_platform_common.c *extra_dbg = acpi_format_exception(acpi_ret); extra_dbg 207 drivers/vfio/platform/vfio_platform_common.c const char **extra_dbg) extra_dbg 211 drivers/vfio/platform/vfio_platform_common.c return vfio_platform_acpi_call_reset(vdev, extra_dbg); extra_dbg 228 drivers/vfio/platform/vfio_platform_common.c const char *extra_dbg = NULL; extra_dbg 231 drivers/vfio/platform/vfio_platform_common.c ret = vfio_platform_call_reset(vdev, &extra_dbg); extra_dbg 234 drivers/vfio/platform/vfio_platform_common.c ret, extra_dbg ? extra_dbg : ""); extra_dbg 258 drivers/vfio/platform/vfio_platform_common.c const char *extra_dbg = NULL; extra_dbg 272 drivers/vfio/platform/vfio_platform_common.c ret = vfio_platform_call_reset(vdev, &extra_dbg); extra_dbg 275 drivers/vfio/platform/vfio_platform_common.c ret, extra_dbg ? extra_dbg : "");