EFCH_PM_ACPI_MMIO_ADDR
alt_mmio_addr = EFCH_PM_ACPI_MMIO_ADDR +
#define EFCH_PM_ACPI_MMIO_PM_ADDR (EFCH_PM_ACPI_MMIO_ADDR + \