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