__int64 __fastcall MiFinalizeDriverImage(__int64 a1){ VfDriverLoadImage(a1, 0i64, 0, 0); return KseDriverLoadImage(a1); }