> * | | > * +--------+ > * | | +------------+ +0 > * +- - - - + | Linux pt 0 | > * | | +------------+ +1024 > * +--------+ +0 | Linux pt 1 | > * | |-----> +------------+ +2048 > * +- - - - + +4 | h/w pt 0 | > * | |-----> +------------+ +3072 > * +--------+ +8 | h/w pt 1 | > * | | +------------+ +4096 > * > > So we interpret two 32bit entries as a pair (64bit value). Together they span > 2x256 values. > > Then we make PTRS_PER_PTE = 512, to iterate all of them (both pairs). > > Let me do some more digging to come up with something I can confidentially
"with confidence", not confidentially :) -- Cheers, David
