Searched refs:IPMMUMM_IMAUXCTLR_NMERGE40_BIT (Results 1 – 3 of 3) sorted by relevance
242 #define IPMMUMM_IMAUXCTLR_NMERGE40_BIT (0x01000000U) macro
299 mmio_write_32(IPMMUMM_IMAUXCTLR, IPMMUMM_IMAUXCTLR_NMERGE40_BIT); in bl2_plat_flush_bl31_params()
311 mmio_write_32(IPMMUMM_IMAUXCTLR, IPMMUMM_IMAUXCTLR_NMERGE40_BIT); in bl2_plat_flush_bl31_params()
Completed in 7 milliseconds