#include <linux/kernel.h>
+#include "tlbflush.h"
#include <asm/cputype.h>
#include <asm/pgalloc.h>
#include <asm/pgtable.h>
* "borrowed".
*/
identity_mapping_add(current->active_mm->pgd, 0, TASK_SIZE);
- local_flush_tlb_all();
+ my_local_flush_tlb_all();
}