seL4_ARM_CacheD

sel4_sys::seL4_ARM_CacheType

Constant seL4_ARM_CacheD 

Source 
pub const seL4_ARM_CacheD: Type = 2;