Searched refs:store_wdt1 (Results 1 – 5 of 5) sorted by relevance
51 static uint32_t store_wdt1[2]; variable1325 store_wdt1[i] = mmio_read_32(WDT1_BASE + i * 4); in wdt_register_save()1335 mmio_write_32(WDT1_BASE + i * 4, store_wdt1[i]); in wdt_register_restore()