Constant sel4_sys::invocation_label::ARMVCPUWriteReg

pub const ARMVCPUWriteReg: u32 = 55u32;