VOID __stdcall MiReleaseSystemImageVa(UINT64 a1, UINT64 a2){
unsigned int v2;
_MMPTE *v3;
v2 = a2;
v3 = (_MMPTE *)((char *)MmGetPteBase() + ((a1 >> 9) & 0x7FFFFFFFF8i64));
MiReleasePrivilegedPtes();
MiReleaseDriverPtes(0i64, v3, v2);
}