Searched refs:xen_ctrl_version (Results 1 – 1 of 1) sorted by relevance
960 xen_ctrl_version = xen_version[0] + \ variable964 args: '-DCONFIG_XEN_CTRL_INTERFACE_VERSION=' + xen_ctrl_version,2555 xen_ctrl_version = xen_version[0] + \ variable2558 config_host_data.set('CONFIG_XEN_CTRL_INTERFACE_VERSION', xen_ctrl_version)