sp5100_tco_read_pm_reg32
mmio_addr = sp5100_tco_read_pm_reg32(SP5100_PM_WATCHDOG_BASE) &
mmio_addr = sp5100_tco_read_pm_reg32(SB800_PM_WATCHDOG_BASE) &
val = sp5100_tco_read_pm_reg32(SB800_PM_ACPI_MMIO_EN);