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