*
* Jeremy Fitzhardinge <jeremy@xensource.com>, XenSource Inc, 2007
*/
+#include <linux/sched.h>
#include <linux/highmem.h>
#include <linux/bug.h>
#include <linux/sched.h>
drop_mm_ref(mm);
put_cpu();
+ spin_lock(&mm->page_table_lock);
xen_pgd_unpin(mm->pgd);
+ spin_unlock(&mm->page_table_lock);
}