kernel_optimize_test/drivers/xen/privcmd.h