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