Constant seL4_ARM_SuperSectionObject 

pub const seL4_ARM_SuperSectionObject: Type = 9;