pub const CONFIG_XEN_CTRL_INTERFACE_VERSION: u32 = 480;