Re: [PATCH 6/6] x86/xen: open code alloc_vm_area in arch_gnttab_valloc