VOID __fastcall KeRestoreProcessorSpecificFeatures(_KTIMER *Timer, _LARGE_INTEGER DueTime, _KDPC *Dpc){
KiSetPageAttributesTable();
if( KiTLBCOverride )
KiDisableCacheErrataSource();
if( (EDX(__cpuid(-2147483647, 0)) & 0x2000000) != 0 )
__writemsr(0xC0000080, __readmsr(0xC0000080) | 0x4000);
KiRestoreXSaveSupport();
KiRestoreFeatureBits();
}