Constant seL4_VCPUReg_CNTVOFFlow

pub const seL4_VCPUReg_CNTVOFFlow: Type = 42;