--- src/sys/sys/vkernel.h	2006/10/20 17:02:13	1.4
+++ src/sys/sys/vkernel.h	2006/12/04 18:04:05	1.5
@@ -118,8 +118,11 @@ typedef u_int32_t	vpte_t;
 #define VPTE_PAGE_BITS		10
 #define VPTE_PAGE_MASK		((1 << VPTE_PAGE_BITS) - 1)
 
-#define VPTE_V		0x00000001	/* inverted valid bit (TEMPORARY) */
+#define VPTE_V		0x00000001
 #define VPTE_PS		0x00000002
+#define VPTE_R		0x00000004
+#define VPTE_W		0x00000008
+#define VPTE_X		0x00000010
 
 #endif