Symbol: SYS_CNTPOFF_EL2
arch/arm64/kvm/arch_timer.c
487
write_sysreg_s(cntpoff, SYS_CNTPOFF_EL2);
arch/arm64/kvm/hyp/vhe/switch.c
169
offset = read_sysreg_s(SYS_CNTPOFF_EL2);