CNTHCTL_EL1TVCT
assign_clear_set_bit(tvc, CNTHCTL_EL1TVCT, clr, set);
.value = CNTHCTL_EL1TVCT,
.mask = CNTHCTL_EL1TVCT,
if (val & CNTHCTL_EL1TVCT)
clr = CNTHCTL_EL1TVT | CNTHCTL_EL1TVCT;
set |= CNTHCTL_EL1TVT | CNTHCTL_EL1TVCT;
resx.res0 |= (CNTHCTL_EL1TVT | CNTHCTL_EL1TVCT |