Searched refs:OS_DisableWriteBufferForProtectionRegion (Results 1 – 3 of 3) sorted by relevance
258 void OS_DisableWriteBufferForProtectionRegion(u32 flags);
270 asm void OS_DisableWriteBufferForProtectionRegion( register u32 flags ) in OS_DisableWriteBufferForProtectionRegion() function
862 OS_DisableWriteBufferForProtectionRegion(1<<3); in CTRDG_Enable()