direct_ptimer      56 include/kvm/arm_arch_timer.h 	struct arch_timer_context *direct_ptimer;
direct_ptimer      63 virt/kvm/arm/arch_timer.c 		map->direct_ptimer = vcpu_ptimer(vcpu);
direct_ptimer      67 virt/kvm/arm/arch_timer.c 		map->direct_ptimer = NULL;
direct_ptimer     111 virt/kvm/arm/arch_timer.c 		ctx = map.direct_ptimer;
direct_ptimer     272 virt/kvm/arm/arch_timer.c 	       kvm_timer_should_fire(map.direct_ptimer) ||
direct_ptimer     398 virt/kvm/arm/arch_timer.c 	    !kvm_timer_irq_can_fire(map.direct_ptimer) &&
direct_ptimer     535 virt/kvm/arm/arch_timer.c 		if (map.direct_ptimer)
direct_ptimer     536 virt/kvm/arm/arch_timer.c 			kvm_timer_vcpu_load_gic(map.direct_ptimer);
direct_ptimer     546 virt/kvm/arm/arch_timer.c 	if (map.direct_ptimer)
direct_ptimer     547 virt/kvm/arm/arch_timer.c 		timer_restore_state(map.direct_ptimer);
direct_ptimer     581 virt/kvm/arm/arch_timer.c 	if (map.direct_ptimer)
direct_ptimer     582 virt/kvm/arm/arch_timer.c 		timer_save_state(map.direct_ptimer);
direct_ptimer     660 virt/kvm/arm/arch_timer.c 			if (map.direct_ptimer)
direct_ptimer     661 virt/kvm/arm/arch_timer.c 				kvm_vgic_reset_mapped_irq(vcpu, map.direct_ptimer->irq.irq);
direct_ptimer    1069 virt/kvm/arm/arch_timer.c 	if (map.direct_ptimer) {
direct_ptimer    1071 virt/kvm/arm/arch_timer.c 					    map.direct_ptimer->host_timer_irq,
direct_ptimer    1072 virt/kvm/arm/arch_timer.c 					    map.direct_ptimer->irq.irq,
direct_ptimer     273 virt/kvm/arm/trace.h 		__field(	int,			direct_ptimer	)
direct_ptimer     280 virt/kvm/arm/trace.h 		__entry->direct_ptimer =
direct_ptimer     281 virt/kvm/arm/trace.h 			(map->direct_ptimer) ? arch_timer_ctx_index(map->direct_ptimer) : -1;
direct_ptimer     289 virt/kvm/arm/trace.h 		  __entry->direct_ptimer,