kernel/drivers/vfio/platform/vfio_platform_common.c
.. .. @@ -72,12 +72,11 @@ 72 72 const char **extra_dbg) 73 73 { 74 74 #ifdef CONFIG_ACPI 75 - struct acpi_buffer buffer = { ACPI_ALLOCATE_BUFFER, NULL };76 75 struct device *dev = vdev->device; 77 76 acpi_handle handle = ACPI_HANDLE(dev); 78 77 acpi_status acpi_ret; 79 78 80 - acpi_ret = acpi_evaluate_object(handle, "_RST", NULL, &buffer);79 + acpi_ret = acpi_evaluate_object(handle, "_RST", NULL, NULL);81 80 if (ACPI_FAILURE(acpi_ret)) { 82 81 if (extra_dbg) 83 82 *extra_dbg = acpi_format_exception(acpi_ret);