CNTHCTL_EL1NVPCT - Linux

Symbol: CNTHCTL_EL1NVPCT

arch/arm64/kvm/arch_timer.c

tpt02 |= (val & CNTHCTL_EL1NVPCT);

arch/arm64/kvm/arch_timer.c

assign_clear_set_bit(tpt02, CNTHCTL_EL1NVPCT, clr, set);

arch/arm64/kvm/emulate-nested.c

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

arch/arm64/kvm/nested.c

CNTHCTL_EL1NVPCT | CNTHCTL_EL1NVVCT);