Searched refs:IPMMUDS1_IMSCTLR (Results 1 – 3 of 3) sorted by relevance
268 #define IPMMUDS1_IMSCTLR (IPMMU_DS1_BASE + 0x0500U) macro
280 mmio_write_32(IPMMUDS1_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()
302 mmio_write_32(IPMMUDS1_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()