x86: Show epte value when printing the kpte.
authorRonald G. Minnich <rminnich@gmail.com>
Fri, 12 Jun 2015 21:35:10 +0000 (14:35 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 18 Jun 2015 20:10:47 +0000 (16:10 -0400)
commitc67c80f3955d9ee2c50583061bc3c9e950f02675
treea811c7c1891c0b117d882b017689026ccc82fcbf
parent537722023d9450f56d692b42a522585c3b14dc83
x86: Show epte value when printing the kpte.

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Git-fu'd-by: brho
kern/arch/x86/cpuinfo.c