Constant seL4_VCPUReg_CNTV_CVALlow

pub const seL4_VCPUReg_CNTV_CVALlow: Type = 40;