| /** @file | |
| Various defines for qemu microvm | |
| SPDX-License-Identifier: BSD-2-Clause-Patent | |
| **/ | |
| #pragma once | |
| #define MICROVM_PSEUDO_DEVICE_ID 0xfff1 | |
| /* generic event device */ | |
| #define MICROVM_GED_MMIO_BASE 0xfea00000 | |
| #define MICROVM_GED_MMIO_BASE_REGS (MICROVM_GED_MMIO_BASE + 0x200) | |
| #define MICROVM_ACPI_GED_REG_SLEEP_CTL 0x00 | |
| #define MICROVM_ACPI_GED_REG_RESET 0x02 | |
| #define MICROVM_ACPI_GED_RESET_VALUE 0x42 |