VOID __fastcall MiMakeHyperPteDemandZero(UINT64 *a1, INT64 a2, INT64 a3){ if( *(_DWORD *)a3 ) *a1 = MiSwizzleInvalidPte(128i64); ++*(_QWORD *)(a3 + 8); }