drivers/xen/gntalloc.o