Searched refs:IPMMUDS0_IMSCTLR (Results 1 – 3 of 3) sorted by relevance
265 #define IPMMUDS0_IMSCTLR (IPMMU_DS0_BASE + 0x0500U) macro
293 mmio_write_32(IPMMUDS0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()
305 mmio_write_32(IPMMUDS0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()
Completed in 7 milliseconds