63,69d62
< /**
< * Declaration of architectural page table for x86.
< *
< * These page tables are stored in system memory and respect x86
< * specification.
< */
<