-/*
- * Global pages have to be flushed a bit differently. Not a real
- * performance problem because this does not happen often.
- */
-#define __flush_tlb_global() xen_tlb_flush()
+static inline void set_cr3(unsigned long cr3)
+{
+ BUG();
+ /* What the hell is this supposed to do: JQ */
+ asm volatile("mov %0,%%cr3" :: "r" (cr3) : "memory");
+}