KiPreprocessFlushTb

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