diff --git a/sys/x86/include/specialreg.h b/sys/x86/include/specialreg.h
index d67112a3758..a8ff7aa2b30 100644
--- a/sys/x86/include/specialreg.h
+++ b/sys/x86/include/specialreg.h
@@ -53,8 +53,8 @@
 #define	CR0_NW  0x20000000	/* Not Write-through */
 #define	CR0_CD  0x40000000	/* Cache Disable */
 
-#define	CR3_PCID_SAVE 0x8000000000000000
-#define	CR3_PCID_MASK 0xfff
+#define	CR3_PCID_MASK	0x0000000000000fff
+#define	CR3_PCID_SAVE	0x8000000000000000
 
 /*
  * Bits in PPro special registers