kvm_timer_vcpu_load_gic  534 virt/kvm/arm/arch_timer.c 		kvm_timer_vcpu_load_gic(map.direct_vtimer);
kvm_timer_vcpu_load_gic  536 virt/kvm/arm/arch_timer.c 			kvm_timer_vcpu_load_gic(map.direct_ptimer);