Searched refs:OS_EnableWriteBufferForProtectionRegion (Results 1 – 3 of 3) sorted by relevance
257 void OS_EnableWriteBufferForProtectionRegion(u32 flags);
262 asm void OS_EnableWriteBufferForProtectionRegion( register u32 flags ) in OS_EnableWriteBufferForProtectionRegion() function
869 OS_EnableWriteBufferForProtectionRegion(1<<3); in CTRDG_Enable()