SPDX-License-Identifier: BSD-2-Clause-Patent\r
\r
**/\r
+\r
#ifndef __MICROVM_H__\r
#define __MICROVM_H__\r
\r
-#define MICROVM_PSEUDO_DEVICE_ID 0xfff1\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
+#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