vmalloc_32_user   435 drivers/video/fbdev/vfb.c 	if (!(videomemory = vmalloc_32_user(size)))
vmalloc_32_user    98 include/linux/vmalloc.h extern void *vmalloc_32_user(unsigned long size);
vmalloc_32_user   328 mm/nommu.c     EXPORT_SYMBOL(vmalloc_32_user);
vmalloc_32_user  2739 mm/vmalloc.c   EXPORT_SYMBOL(vmalloc_32_user);