Symbol: KVM_ARM_DEV_EL1_PTIMER
arch/arm64/kvm/arch_timer.c
418
v ^= kvm_timer_pending(vcpu_ptimer(vcpu)) ? KVM_ARM_DEV_EL1_PTIMER : 0;
arch/arm64/kvm/arch_timer.c
420
return v & (KVM_ARM_DEV_EL1_VTIMER | KVM_ARM_DEV_EL1_PTIMER);