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