Constant sel4_sys::invocation_label::ARMPageGetAddress

pub const ARMPageGetAddress: u32 = 49u32;