Searched refs:IPMMUPV0_IMSCTLR (Results 1 – 3 of 3) sorted by relevance
272 mmio_write_32(IPMMUPV0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()279 mmio_write_32(IPMMUPV0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()284 mmio_write_32(IPMMUPV0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()
281 mmio_write_32(IPMMUPV0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()288 mmio_write_32(IPMMUPV0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()293 mmio_write_32(IPMMUPV0_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()
255 #define IPMMUPV0_IMSCTLR (IPMMU_PV0_BASE + 0x0500U) macro
Completed in 7 milliseconds