Setting up the page tables for a user-level program's run
Recall that when the value of the field app-view is
nil, the x86 model offers the system-level view of x86
machines. It's only in this view that memory read and write
functions like rml08 and wml08 will do a page-table
walk. See section app-view for details.