Constant sel4_config::consts::ARM_ICACHE_VIPT

pub const ARM_ICACHE_VIPT: bool = true;