Constant panda_sys::CONFIG_XEN

source · 
pub const CONFIG_XEN: u32 = 1;