/*
  * Initial thread structure.
--- linux-2.6.25/arch/x86/kernel/smp_64.c.orig    2008-04-20 23:29:10.000000000 -0300
+++ linux-2.6.25/arch/x86/kernel/smp_64.c    2008-04-20 23:29:39.000000000 -0300
@@ -269,6 +269,7 @@
 
     preempt_enable();
 }
+EXPORT_SYMBOL(flush_tlb_page);
 
 static void do_flush_tlb_all(void* info)
 {