Searched refs:IPMMUMM_IMAUXCTLR (Results 1 – 3 of 3) sorted by relevance
241 #define IPMMUMM_IMAUXCTLR (IPMMU_MM_BASE + 0x0504U) macro
285 mmio_write_32(IPMMUMM_IMAUXCTLR, IPMMUMM_IMAUXCTLR_NMERGE40_BIT); in bl2_plat_flush_bl31_params()
307 mmio_write_32(IPMMUMM_IMAUXCTLR, IPMMUMM_IMAUXCTLR_NMERGE40_BIT); in bl2_plat_flush_bl31_params()