Constant ARM64_RegisterCntvCtlEl0 

pub const ARM64_RegisterCntvCtlEl0: REGISTER_ID;