sel4_config::consts

Constant AARCH64_USER_CACHE_ENABLE

Source 
pub const AARCH64_USER_CACHE_ENABLE: bool = true;