KeSweepLocalCaches

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