/drivers/xen/xen-gntalloc.mod.c