/drivers/xen/xen-privcmd.mod.c