Constant seL4_ARM_Default_VMAttributes 

pub const seL4_ARM_Default_VMAttributes: Type = 3;