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)
commit96203d87208892ddf052e1e268ad7ea35b7e28bf
tree48c47a7ffc84dba58d39a9e302a48c534ea49c16
parent1c2fa3bdca935a36f1fa0a5744ae324d345f884d
Rename "segment table" to "supplemental page table".
doc/reference.texi
doc/vm.texi