/* Allocate enough 32bit PA addressable pages to cover @size from the page level allocator and map them into continguos kernel virtual space.  */
void* vmalloc_32(unsigned long size)
/* Allocate enough 32bit PA addressable pages to cover @size from the page level allocator and map them into continguos kernel virtual space.  */
void* vmalloc_32(unsigned long size)
{
	return __vmalloc(size, GFP_KERNEL, PAGE_KERNEL);
}