Rename "segment table" to "supplemental page table".
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 16 May 2006 20:46:06 +0000 (20:46 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 16 May 2006 20:46:06 +0000 (20:46 +0000)
commit7d00c1115bb72f1461a77296434de4bdb08d04b6
tree007852b6e4601739c4baaf447641499ea418d38e
parentfab9439d61607e2ee013fe91280c2258cc9a909f
Rename "segment table" to "supplemental page table".
doc/reference.texi
doc/vm.texi