242 				     u64 val)  in kvm_counter_compute_delta()
280 	u64 val = vcpu_get_reg(vcpu, kvm_vcpu_sys_get_rt(vcpu));  in wfit_delay_ns()  local
317 	struct arch_timer_cpu *timer;  in kvm_bg_timer_expire()  local
441 		unsigned long val = timer_get_ctl(ctx);  in kvm_timer_update_status()  local
501 	struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu);  in timer_save_state()  local
580 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);  in kvm_timer_blocking()  local
605 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);  in kvm_timer_unblocking()  local
612 	struct arch_timer_cpu *timer = vcpu_timer(ctx->vcpu);  in timer_restore_state()  local
834 		u64 val = __vcpu_sys_reg(vcpu, CNTHCTL_EL2);  in timer_set_traps()  local
867 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);  in kvm_timer_vcpu_load()  local
918 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);  in kvm_timer_vcpu_put()  local
1006 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);  in kvm_timer_sync_user()  local
1017 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);  in kvm_timer_vcpu_reset()  local
1090 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);  in kvm_timer_vcpu_init()  local
1127 	struct arch_timer_context *timer;  in kvm_arm_timer_set_reg()  local
1168 static u64 read_timer_ctl(struct arch_timer_context *timer)  in read_timer_ctl()
1210 			      struct arch_timer_context *timer,  in kvm_arm_timer_read()
1213 	u64 val;  in kvm_arm_timer_read()  local
1248 	struct arch_timer_context *timer;  in kvm_arm_timer_read_sysreg()  local
1250 	u64 val;  in kvm_arm_timer_read_sysreg()  local
1270 				struct arch_timer_context *timer,  in kvm_arm_timer_write()
1272 				u64 val)  in kvm_arm_timer_write()
1299 				u64 val)  in kvm_arm_timer_write_sysreg()
1301 	struct arch_timer_context *timer;  in kvm_arm_timer_write_sysreg()  local
1330 				       enum irqchip_irq_state which, bool val)  in timer_irq_set_irqchip_state()
1556 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);  in kvm_timer_vcpu_terminate()  local
1617 	struct arch_timer_cpu *timer = vcpu_timer(vcpu);  in kvm_timer_enable()  local
1723 	struct arch_timer_context *timer;  in kvm_arm_timer_get_attr()  local