Searched refs:OS_DisableDCacheForProtectionRegion (Results 1 – 3 of 3) sorted by relevance
174 void OS_DisableDCacheForProtectionRegion(u32 flags);
159 asm void OS_DisableDCacheForProtectionRegion( register u32 flags ) in OS_DisableDCacheForProtectionRegion() function
861 OS_DisableDCacheForProtectionRegion(1<<3); in CTRDG_Enable()