Constant seL4_ARM_PageCacheable 

pub const seL4_ARM_PageCacheable: Type = 1;