--- ./arch/x86_64/kernel/smp-xen.c.orig	2008-08-06 15:04:57.000000001 +0400
+++ ./arch/x86_64/kernel/smp-xen.c	2008-08-06 14:47:49.000000000 +0400
@@ -299,6 +299,7 @@ void flush_tlb_mm (struct mm_struct * mm
 EXPORT_SYMBOL(flush_tlb_mm);
 void flush_tlb_page(struct vm_area_struct * vma, unsigned long va)
 { xen_invlpg_mask(&vma->vm_mm->cpu_vm_mask, va); }
+EXPORT_SYMBOL(flush_tlb_page);
 void flush_tlb_all(void)
 { xen_tlb_flush_all(); }
 #endif /* Xen */