/* For tight control over page level allocator and protection flags use __vmalloc() instead.  */
void* vmalloc(unsigned long size)
/* For tight control over page level allocator and protection flags use __vmalloc() instead.  */
void* vmalloc(unsigned long size)
{
       return __vmalloc(size, GFP_KERNEL | __GFP_HIGHMEM, PAGE_KERNEL);
}