Searched refs:sctlr_value (Results 1 – 1 of 1) sorted by relevance
350 uint32_t sctlr_value = 0; in platform_cache_disable() local353 sctlr_value = __builtin_arm_mrc(MRC_SCTLR); in platform_cache_disable()354 sctlr_value &= ~SCTLR_DCACHE; in platform_cache_disable()355 __builtin_arm_mcr(MCR_SCTLR(sctlr_value)); in platform_cache_disable()432 uint32_t sctlr_value = 0; in platform_cache_idle_exit() local435 sctlr_value = __builtin_arm_mrc(MRC_SCTLR); in platform_cache_idle_exit()436 sctlr_value |= SCTLR_DCACHE; in platform_cache_idle_exit()437 __builtin_arm_mcr(MCR_SCTLR(sctlr_value)); in platform_cache_idle_exit()