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 : "");