X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fvm.texi;h=6683170661d707513d1240e8d1794252afed6060;hp=98a5db28ee581bb437472db99b3c14a324b05532;hb=bffccc54acc0560186b8c38bc4a66897de5158eb;hpb=d18533cc294552c39f69781e5a9b04b8882b6364 diff --git a/doc/vm.texi b/doc/vm.texi index 98a5db2..6683170 100644 --- a/doc/vm.texi +++ b/doc/vm.texi @@ -147,15 +147,15 @@ address, on the right. @example @group - +----------+ - .--------------->|Page Table|-----------. - / +----------+ | - 0 | 12 11 0 0 V 12 11 0 - +---------+----+ +---------+----+ - |Page Nr | Ofs| |Frame Nr | Ofs| - +---------+----+ +---------+----+ - Virt Addr | Phys Addr ^ - \_______________________________________/ + +----------+ + .--------------->|Page Table|---------. + / +----------+ | + 31 | 12 11 0 31 V 12 11 0 + +-----------+-------+ +------------+-------+ + | Page Nr | Ofs | | Frame Nr | Ofs | + +-----------+-------+ +------------+-------+ + Virt Addr | Phys Addr ^ + \_____________________________________/ @end group @end example @@ -175,7 +175,7 @@ You will need to design the following data structures: @table @asis @item Supplemental page table -Enables page fault handling by supplementing the page table. +Enables page fault handling by supplementing the hadrware page table. @xref{Managing the Supplemental Page Table}. @item Frame table