Constant sel4_sys::seL4_ARM_VMAttributes::seL4_ARM_PageCacheable

pub const seL4_ARM_PageCacheable: Type = 1;