Searched refs:IPMMUHC_IMSCTLR (Results 1 – 2 of 2) sorted by relevance
256 #define IPMMUHC_IMSCTLR (IPMMU_HC_BASE + 0x0500U) macro
293 mmio_write_32(IPMMUHC_IMSCTLR, IMSCTLR_DISCACHE); in bl2_plat_flush_bl31_params()