CNTHCTL_EL1NVVCT - Linux

Symbol: CNTHCTL_EL1NVVCT

arch/arm64/kvm/arch_timer.c

tvt02 |= (val & CNTHCTL_EL1NVVCT);

arch/arm64/kvm/arch_timer.c

assign_clear_set_bit(tvt02, CNTHCTL_EL1NVVCT, clr, set);

arch/arm64/kvm/emulate-nested.c

!(__vcpu_sys_reg(vcpu, CNTHCTL_EL2) & CNTHCTL_EL1NVVCT))

arch/arm64/kvm/nested.c

CNTHCTL_EL1NVPCT | CNTHCTL_EL1NVVCT);