VOID __stdcall KiDisableCacheErrataSource(){
UINT64 AMDMsr;
int v1;
UINT64 v2;
__writemsr(0xC0010015, __readmsr(0xC0010015) | 8);
AMDMsr = ReadAMDMsr(0xC0011023ui64);
HIDWORD(v2) = HIDWORD(AMDMsr);
if( KiTLBCOverride == 1 )
v1 = AMDMsr & 0xFFDFFFFF;
else
v1 = AMDMsr | 0x800000;
LODWORD(v2) = v1 | 2;
WriteAMDMsr(0xC0011023ui64, v2);
}