seL4_ARM_CacheID

sel4_sys::seL4_ARM_CacheType

Constant seL4_ARM_CacheID 

Source 
pub const seL4_ARM_CacheID: Type = 3;