\r
#define MICROVM_PSEUDO_DEVICE_ID 0xfff1\r
\r
+/* generic event device */\r
+#define MICROVM_GED_MMIO_BASE 0xfea00000\r
+#define MICROVM_GED_MMIO_BASE_REGS (MICROVM_GED_MMIO_BASE + 0x200)\r
+#define MICROVM_ACPI_GED_REG_SLEEP_CTL 0x00\r
+#define MICROVM_ACPI_GED_REG_RESET 0x02\r
+#define MICROVM_ACPI_GED_RESET_VALUE 0x42\r
+\r
#endif // __MICROVM_H__\r