KVM_ARM_DEV_EL1_PTIMER  287 virt/kvm/arm/arch_timer.c 				    KVM_ARM_DEV_EL1_PTIMER);
KVM_ARM_DEV_EL1_PTIMER  291 virt/kvm/arm/arch_timer.c 		regs->device_irq_level |= KVM_ARM_DEV_EL1_PTIMER;
KVM_ARM_DEV_EL1_PTIMER  564 virt/kvm/arm/arch_timer.c 	plevel = sregs->device_irq_level & KVM_ARM_DEV_EL1_PTIMER;