x86: Fix PTE_ bit definitions (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 8 Feb 2018 02:05:23 +0000 (21:05 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 28 Mar 2018 20:43:05 +0000 (16:43 -0400)
commit5aa7eb0c269b23a8620729755d4d9b515350fe10
tree911ba7cc418f2e944da5d4d867489acedbbd39b4
parentbdb5a6d3de7beb08052ac1679c315c632aca5321
x86: Fix PTE_ bit definitions (XCC)

__PTE_JPAT was wrong.  The description (bit 12) was correct, but the number
was wrong.  I changed them all to be the more easily veriable (1 << bit_nr)
style.  The comment for PTE_PAT was wrong, but the number was correct.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/ros/mmu64.h