Constant sel4_sys::seL4_ARM_VMAttributes::seL4_ARM_Default_VMAttributes

pub const seL4_ARM_Default_VMAttributes: Type = 3;