flush_tlb_kernel_range_ipi
on_each_cpu(flush_tlb_kernel_range_ipi, &fd, 1);
on_each_cpu(flush_tlb_kernel_range_ipi, (void *)&fd, 1);