pub const __XEN_INTERFACE_VERSION__: u32 = 0;