KeSweepLocalCaches

VOID __fastcall KeSweepLocalCaches(INT64 a1, _BYTE *RDX){
  __wbinvd();
}