OpenCloudOS-Kernel/drivers/xen/privcmd.h