linux-src.patch

   1 diff --git a/arch/x86/xen/mmu.c b/arch/x86/xen/mmu.c
   2 index 204e3ba..3132414 100644
   3 --- a/arch/x86/xen/mmu.c
   4 +++ b/arch/x86/xen/mmu.c
   5 @@ -1666,6 +1666,7 @@ static void xen_flush_tlb_single(unsigned long addr)
   6  static void xen_flush_tlb_others(const struct cpumask *cpus,
   7                                  struct mm_struct *mm, unsigned long va)
   8  {
   9 +       extern unsigned int num_processors;
  10         struct {
  11                 struct mmuext_op op;
  12                 DECLARE_BITMAP(mask, num_processors);