CNTHCTL_EL1TVT
assign_clear_set_bit(tvt, CNTHCTL_EL1TVT, clr, set);
.value = CNTHCTL_EL1TVT,
.mask = CNTHCTL_EL1TVT,
clr = CNTHCTL_EL1TVT | CNTHCTL_EL1TVCT;
set |= CNTHCTL_EL1TVT | CNTHCTL_EL1TVCT;
resx.res0 |= (CNTHCTL_EL1TVT | CNTHCTL_EL1TVCT |