Constant sel4_sys::invocation_label::ARMVSpaceCleanInvalidate_Data

pub const ARMVSpaceCleanInvalidate_Data: u32 = 38u32;