MiGetLeafVa

NTSTATUS __stdcall MiGetLeafVa(UINT64 a1){
  UINT64 PteBase; 
  _MMPTE *PteLimit; 

  PteBase = (UINT64)MmGetPteBase();
  if( a1 >= PteBase )
  {
    PteLimit = MmGetPteLimit();
    do
    {
      if( a1 > (unsigned __int64)PteLimit )
        break;
      a1 = (__int64)((a1 << 25) - (PteBase << 25)) >> 16;
    }
    while( a1 >= PteBase );
  }
  return a1;
}

Referenced by: