Searched refs:OS_EnableDCacheForProtectionRegion (Results 1 – 3 of 3) sorted by relevance
173 void OS_EnableDCacheForProtectionRegion(u32 flags);
150 asm void OS_EnableDCacheForProtectionRegion( register u32 flags ) in OS_EnableDCacheForProtectionRegion() function
868 OS_EnableDCacheForProtectionRegion(1<<3); in CTRDG_Enable()