Constant sel4_sys::invocation_label::ARMPageClean_Data

pub const ARMPageClean_Data: u32 = 39u32;