x86: adds a kpte_t for the pte_t
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 16 Mar 2015 18:14:39 +0000 (14:14 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 17 Mar 2015 14:55:59 +0000 (10:55 -0400)
commit6daa3b91a1ea8cf0f2a7916eba75b9c9ce45f257
treeac99fa53d0e590d9de62de37d22082870b8b31ee
parent12131135b6f065e0c1b74a80e34ee1c4c5a2c6fc
x86: adds a kpte_t for the pte_t

pte_t as a directly-manipulatable object is going away for x86.
Internally, we want something to do the old pte_t's job for the kernel
page table: the kpte_t.
kern/arch/x86/pmap64.c
kern/arch/x86/ros/mmu64.h