MiGetPteAddress

MMPTE *__stdcall MiGetPteAddress(PVOID Va){
  return(_MMPTE *)((char *)MmGetPteBase() + (((unsigned __int64)Va >> 9) & 0x7FFFFFFFF8i64));
}

Referenced by: