CNTHCTL_EL1NVVCT
tvt02 |= (val & CNTHCTL_EL1NVVCT);
assign_clear_set_bit(tvt02, CNTHCTL_EL1NVVCT, clr, set);
!(__vcpu_sys_reg(vcpu, CNTHCTL_EL2) & CNTHCTL_EL1NVVCT))
CNTHCTL_EL1NVPCT | CNTHCTL_EL1NVVCT);