Searched refs:WKPUx (Results 1 – 1 of 1) sorted by relevance
38 #define WKPUx(c) (IMX_SIM1_BASE + 0x3c + 0x4 * (c)) macro138 mmio_write_32(WKPUx(cpu), 0); in imx_pwr_domain_off()492 mmio_write_32(WKPUx(i), 0x0); in imx_system_off()