Constant panda_sys::CONFIG_XEN[−][src]

pub const CONFIG_XEN: u32 = 1;