Constant sel4_config::consts::ARM_HYP_ENABLE_VCPU_CP14_SAVE_AND_RESTORE

pub const ARM_HYP_ENABLE_VCPU_CP14_SAVE_AND_RESTORE: bool = false;