Searched refs:IPMMUMM_IMAUXCTLR_NMERGE40_BIT (Results 1 – 3 of 3) sorted by relevance
243 #define IPMMUMM_IMAUXCTLR_NMERGE40_BIT (0x01000000U) 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()