Searched refs:IPMMUMP_IMSCTLR (Results 1 – 3 of 3) sorted by relevance
264 #define IPMMUMP_IMSCTLR (IPMMU_MP_BASE + 0x0500U) macro
277 mmio_write_32(IPMMUMP_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()
299 mmio_write_32(IPMMUMP_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()