VOID __fastcall KeFlushCurrentTbOnly(INT64 a1){ unsigned int v1; INT64 result[22]; v1 = a1; memset((INT64)result, 0i64); KiFlushCurrentTbOnly(v1); }