Constant seL4_ARM_SuperSectionObject

pub const seL4_ARM_SuperSectionObject: Type = 9;