VOID __stdcall KiSetCacheInformationIntel(_KPRCB *Prcb){
struct _KPRCB *CurrentPrcb;
CurrentPrcb = KeGetCurrentPrcb();
CurrentPrcb->CacheCount = 0;
if( (unsigned int)(EAX(__cpuid(0, 0)) - 3) <= 0x7FFFFFFC )
KiSetStandardizedCacheInformation(CurrentPrcb, 4ui64);
}