Searched refs:IPMMUPV2_IMSCTLR (Results 1 – 3 of 3) sorted by relevance
256 #define IPMMUPV2_IMSCTLR (IPMMU_PV2_BASE + 0x0500U) macro
258 mmio_write_32(IPMMUPV2_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()
280 mmio_write_32(IPMMUPV2_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()