48 				enum kvm_arch_timer_regs treg,
52 			      enum kvm_arch_timer_regs treg);
1138 			      enum kvm_arch_timer_regs treg)  in kvm_arm_timer_read()  argument
1142 	switch (treg) {  in kvm_arm_timer_read()
1173 			      enum kvm_arch_timer_regs treg)  in kvm_arm_timer_read_sysreg()  argument
1183 		return kvm_arm_timer_read(vcpu, timer, treg);  in kvm_arm_timer_read_sysreg()
1188 	val = kvm_arm_timer_read(vcpu, timer, treg);  in kvm_arm_timer_read_sysreg()
1198 				enum kvm_arch_timer_regs treg,  in kvm_arm_timer_write()  argument
1201 	switch (treg) {  in kvm_arm_timer_write()
1225 				enum kvm_arch_timer_regs treg,  in kvm_arm_timer_write_sysreg()  argument
1235 		kvm_arm_timer_write(vcpu, timer, treg, val);  in kvm_arm_timer_write_sysreg()
1240 		kvm_arm_timer_write(vcpu, timer, treg, val);  in kvm_arm_timer_write_sysreg()