Constant seL4_VCPUReg_CNTV_CVALhigh

pub const seL4_VCPUReg_CNTV_CVALhigh: Type = 39;