seL4_ARM_CacheI

Constant seL4_ARM_CacheI 

Source
pub const seL4_ARM_CacheI: Type = 1;