Constant seL4_VCPUReg_CNTV_CVALlow 

pub const seL4_VCPUReg_CNTV_CVALlow: Type = 40;