Constant seL4_VCPUReg_CNTVOFFlow 

pub const seL4_VCPUReg_CNTVOFFlow: Type = 42;