INT64 __fastcall HvlpFlushPasidAddressSpace(UINT64 a1, UINT64 a2){ UINT64 v3; __int64 v4[3]; v4[1] = 0i64; LODWORD(v3) = 0; HIDWORD(v4[0]) = a1; LODWORD(v4[0]) = a2; return HvcallFastExtended(65696i64, v4, 0x10ui64, 0i64, v3); }