Index: arch/ia32/include/interrupt.h
===================================================================
--- arch/ia32/include/interrupt.h	(revision 7e4e5323698b3059ed08f14198db2c9c1fbc746a)
+++ arch/ia32/include/interrupt.h	(revision bfb87dfa5a2db236f9520a16f8ba1d59d1d9c11c)
@@ -60,5 +60,4 @@
 #define VECTOR_SYSCALL			(IVT_FREEBASE+0)
 #define VECTOR_TLB_SHOOTDOWN_IPI	(IVT_FREEBASE+1)
-#define VECTOR_WAKEUP_IPI		(IVT_FREEBASE+2)
 
 extern void (* disable_irqs_function)(__u16 irqmask);
@@ -73,5 +72,4 @@
 extern void syscall(int n, void *stack);
 extern void tlb_shootdown_ipi(int n, void *stack);
-extern void wakeup_ipi(int n, void *stack);
 
 extern void trap_virtual_enable_irqs(__u16 irqmask);
Index: arch/ia32/include/mm/page.h
===================================================================
--- arch/ia32/include/mm/page.h	(revision 7e4e5323698b3059ed08f14198db2c9c1fbc746a)
+++ arch/ia32/include/mm/page.h	(revision bfb87dfa5a2db236f9520a16f8ba1d59d1d9c11c)
@@ -86,5 +86,6 @@
 	unsigned accessed : 1;
 	unsigned dirty : 1;
-	unsigned : 2;
+	unsigned pat : 1;
+	unsigned global : 1;
 	unsigned avl : 3;
 	unsigned frame_address : 20;
@@ -101,5 +102,6 @@
 		1<<PAGE_READ_SHIFT |
 		p->writeable<<PAGE_WRITE_SHIFT |
-		1<<PAGE_EXEC_SHIFT
+		1<<PAGE_EXEC_SHIFT |
+		p->global<<PAGE_GLOBAL_SHIFT
 	);
 }
@@ -113,4 +115,5 @@
 	p->uaccessible = (flags & PAGE_USER) != 0;
 	p->writeable = (flags & PAGE_WRITE) != 0;
+	p->global = (flags & PAGE_GLOBAL) != 0;
 }