Index: arch/amd64/include/interrupt.h
===================================================================
--- arch/amd64/include/interrupt.h	(revision 085d973c11067c76c6bb3481033b2ba387555f4a)
+++ arch/amd64/include/interrupt.h	(revision 8f00329caf7098cf41c86ae4e096edda0a3858a9)
@@ -72,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/amd64/include/mm/page.h
===================================================================
--- arch/amd64/include/mm/page.h	(revision 085d973c11067c76c6bb3481033b2ba387555f4a)
+++ arch/amd64/include/mm/page.h	(revision 8f00329caf7098cf41c86ae4e096edda0a3858a9)
@@ -102,5 +102,6 @@
 		1<<PAGE_READ_SHIFT |
 		p->writeable<<PAGE_WRITE_SHIFT |
-		(!p->no_execute)<<PAGE_EXEC_SHIFT
+		(!p->no_execute)<<PAGE_EXEC_SHIFT |
+		p->global<<PAGE_GLOBAL_SHIFT
 	);
 }
@@ -123,4 +124,5 @@
 	p->writeable = (flags & PAGE_WRITE) != 0;
 	p->no_execute = (flags & PAGE_EXEC) == 0;
+	p->global = (flags & PAGE_GLOBAL) != 0;
 }