VOID __stdcall MiUnlockVa(_MMSUPPORT_INSTANCE *Vm, VOID *Va){
unsigned __int64 *v4;
unsigned __int64 v5;
v4 = (unsigned __int64 *)((char *)&MmGetPteBase()->u.Long + (((unsigned __int64)Va >> 9) & 0x7FFFFFFFF8i64));
v5 = *v4;
MiPteInShadowRange((UINT64)v4);
MiUnlockWsle(Vm, (UINT64)Va, (INT64)&MmGetPfnDb()[(v5 >> 12) & 0xFFFFFFFFFi64]);
}