Constant xen_sys::XENFEAT_ARM_SMCCC_supported

pub const XENFEAT_ARM_SMCCC_supported: u32 = 14;