Searched refs:IPMMUVI0_IMSCTLR (Results 1 – 2 of 2) sorted by relevance
272 mmio_write_32(IPMMUVI0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()280 mmio_write_32(IPMMUVI0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()284 mmio_write_32(IPMMUVI0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()
244 #define IPMMUVI0_IMSCTLR (IPMMU_VI0_BASE + 0x0500U) macro