smp_flush_tlb_kernel_range
void smp_flush_tlb_kernel_range(unsigned long start, unsigned long end);
#define do_flush_tlb_kernel_range smp_flush_tlb_kernel_range