| /* | |
| * Copyright (C) 2002 Jeff Dike (jdike@karaya.com) | |
| * Licensed under the GPL | |
| */ | |
| #ifndef __TLB_H__ | |
| #define __TLB_H__ | |
| #include "um_mmu.h" | |
| extern void force_flush_all(void); | |
| extern int flush_tlb_kernel_range_common(unsigned long start, | |
| unsigned long end); | |
| #endif |