x64x86arm64ia64alphamipsppc recordsheadersnames / ntdllntoskrnl

_MMPTE

← 4.0.1314.1 3 builds latest → 
struct _MMPTE;/* named only */
ASSERT
PointerPte <= (PMMPTE)PDE_TOP
in
PPC/NTKRNLMP.EXE names