Constant seL4_ARM_SectionObject 

pub const seL4_ARM_SectionObject: Type = 8;