Constant sel4_sys::invocation_label::ARMVCPUReadReg

pub const ARMVCPUReadReg: u32 = 54u32;