Searched refs:OS_DisableICacheForProtectionRegion (Results 1 – 3 of 3) sorted by relevance
89 void OS_DisableICacheForProtectionRegion(register u32 flags);
47 asm void OS_DisableICacheForProtectionRegion( register u32 flags ) in OS_DisableICacheForProtectionRegion() function
860 OS_DisableICacheForProtectionRegion(1<<3); in CTRDG_Enable()