tree dbd14f74c3739bf16060f659210eccf4bfe3d3a2
parent 24e032fffc4bc89ef9cf945173a7fcc1699cc452
author Andrew Scull <ascull@google.com> 1539351439 +0100
committer Andrew Scull <ascull@google.com> 1539694557 +0100

Type for page table.

A page table is an array of PTEs but a pte_t pointer is overloaded and
causes confusion when reading. This new type makes it explicit that the
pointer is to a page table.

Change-Id: I167ed43098e6ab1df7c8b680604ba076dd9b74db