unmap_kernel_range   81 include/linux/vmalloc.h extern void unmap_kernel_range(unsigned long addr, unsigned long size);
unmap_kernel_range   94 mm/vmalloc.c   	unmap_kernel_range((unsigned long)area->addr, area->size);