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