linux_old1/drivers/xen/privcmd.h