Constant seL4_VCPUReg_CNTV_CTL 

pub const seL4_VCPUReg_CNTV_CTL: Type = 38;