Constant seL4_ARM_SectionObject

pub const seL4_ARM_SectionObject: Type = 8;