Searched refs:IPMMUHC_IMSCTLR (Results 1 – 3 of 3) sorted by relevance
260 #define IPMMUHC_IMSCTLR (IPMMU_HC_BASE + 0x0500U) macro
275 mmio_write_32(IPMMUHC_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()
297 mmio_write_32(IPMMUHC_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()