KiPreprocessFlushTb

CHAR __fastcall KiPreprocessFlushTb(INT64 a1, INT64 a2, INT64 a3, BYTE *a4){
  *a4 = 0;
  return 0;
}