MMPTE *__stdcall MiGetPdeAddress(PVOID Va){ return(_MMPTE *)((char *)MmGetPdeBase() + (((unsigned __int64)Va >> 18) & 0x3FFFFFF8)); }