seL4_ARM_CacheI

sel4_sys::seL4_ARM_CacheType

Constant seL4_ARM_CacheI 

Source 
pub const seL4_ARM_CacheI: Type = 1;