[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH v4 13/21] x86: constify x86_machine_is_*_enabled
From: |
Gerd Hoffmann |
Subject: |
[PATCH v4 13/21] x86: constify x86_machine_is_*_enabled |
Date: |
Thu, 2 Jul 2020 22:48:51 +0200 |
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
---
include/hw/i386/x86.h | 4 ++--
hw/i386/x86.c | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/include/hw/i386/x86.h b/include/hw/i386/x86.h
index b79f24e28545..a350ea3609f5 100644
--- a/include/hw/i386/x86.h
+++ b/include/hw/i386/x86.h
@@ -110,8 +110,8 @@ void x86_load_linux(X86MachineState *x86ms,
bool pvh_enabled,
bool linuxboot_dma_enabled);
-bool x86_machine_is_smm_enabled(X86MachineState *x86ms);
-bool x86_machine_is_acpi_enabled(X86MachineState *x86ms);
+bool x86_machine_is_smm_enabled(const X86MachineState *x86ms);
+bool x86_machine_is_acpi_enabled(const X86MachineState *x86ms);
/* Global System Interrupts */
diff --git a/hw/i386/x86.c b/hw/i386/x86.c
index 34229b45c759..614723afbd9d 100644
--- a/hw/i386/x86.c
+++ b/hw/i386/x86.c
@@ -846,7 +846,7 @@ void x86_bios_rom_init(MemoryRegion *rom_memory, bool
isapc_ram_fw)
bios);
}
-bool x86_machine_is_smm_enabled(X86MachineState *x86ms)
+bool x86_machine_is_smm_enabled(const X86MachineState *x86ms)
{
bool smm_available = false;
@@ -888,7 +888,7 @@ static void x86_machine_set_smm(Object *obj, Visitor *v,
const char *name,
visit_type_OnOffAuto(v, name, &x86ms->smm, errp);
}
-bool x86_machine_is_acpi_enabled(X86MachineState *x86ms)
+bool x86_machine_is_acpi_enabled(const X86MachineState *x86ms)
{
if (x86ms->acpi == ON_OFF_AUTO_OFF) {
return false;
--
2.18.4
- [PATCH v4 03/21] seabios: add bios-microvm.bin binary, (continued)
[PATCH v4 20/21] tests/acpi: add microvm test, Gerd Hoffmann, 2020/07/02
[PATCH v4 07/21] microvm: make virtio irq base runtime configurable, Gerd Hoffmann, 2020/07/02
[PATCH v4 21/21] tests/acpi: update expected data files for microvm, Gerd Hoffmann, 2020/07/02
[PATCH v4 13/21] x86: constify x86_machine_is_*_enabled,
Gerd Hoffmann <=
[PATCH v4 12/21] microvm/acpi: disable virtio-mmio cmdline hack, Gerd Hoffmann, 2020/07/02
[PATCH v4 15/21] x86: move cpu plug from pc to x86, Gerd Hoffmann, 2020/07/02
[PATCH v4 06/21] acpi: move acpi_dsdt_add_power_button() to ged, Gerd Hoffmann, 2020/07/02
[PATCH v4 10/21] microvm/acpi: use GSI 16-23 for virtio, Gerd Hoffmann, 2020/07/02
[PATCH v4 05/21] acpi: ged: add x86 device variant., Gerd Hoffmann, 2020/07/02
[PATCH v4 18/21] tests/acpi: allow microvm test data updates., Gerd Hoffmann, 2020/07/02
[PATCH v4 11/21] microvm/acpi: use seabios with acpi=on, Gerd Hoffmann, 2020/07/02
[PATCH v4 17/21] tests/acpi: clear bios-tables-test-allowed-diff.h, Gerd Hoffmann, 2020/07/02
[PATCH v4 14/21] x86: move acpi_dev from pc/microvm, Gerd Hoffmann, 2020/07/02
Re: [PATCH v4 00/21] microvm: add acpi support, no-reply, 2020/07/02