Constant sel4_sys::invocation_label::ARMVCPUSetTCB

pub const ARMVCPUSetTCB: u32 = 52u32;