Constant seL4_VCPUReg_CNTV_CVALhigh 

pub const seL4_VCPUReg_CNTV_CVALhigh: Type = 39;