Searched refs:DISABLE_DCACHE (Results 1 – 10 of 10) sorted by relevance
61 tst r3, #DISABLE_DCACHE113 tst r3, #DISABLE_DCACHE
21 #define DISABLE_DCACHE (U(1) << 0) macro
127 if ((flags & DISABLE_DCACHE) != 0U) in enable_mmu_svc_mon()
556 if ((flags & DISABLE_DCACHE) != 0U) { in enable_mmu_svc_mon()
78 tst x7, #DISABLE_DCACHE
220 enable_mmu_el3(DISABLE_DCACHE); in marvell_bl31_plat_arch_setup()
118 mov r0, #DISABLE_DCACHE
268 bl31_plat_enable_mmu(DISABLE_DCACHE); in bl31_warmboot()
201 if ((flags & DISABLE_DCACHE) != 0U) \
324 mov r0, #DISABLE_DCACHE