Constant sel4_sys::invocation_label::ARMVSpaceClean_Data

pub const ARMVSpaceClean_Data: u32 = 36u32;