VOID __stdcall KeInvalidateRangeAllCaches(PVOID BaseAddress, UINT64 a2){
unsigned int v2;
unsigned __int8 CurrentIrql;
v2 = a2;
if( (unsigned int)a2 < KiLargestCacheSize )
{
CurrentIrql = KeGetCurrentIrql();
__writecr8(0xCui64);
KiIpiSendRequestEx((CHAR)KeGetCurrentPrcb());
__writecr8(CurrentIrql);
KeInvalidateRangeAllCachesNoIpi(BaseAddress, v2);
}
else
{
KeInvalidateAllCaches();
}
}