55 u32 timer_get_ctl(struct arch_timer_context *ctxt)  in timer_get_ctl()  argument
57 	struct kvm_vcpu *vcpu = ctxt->vcpu;  in timer_get_ctl()
59 	switch(arch_timer_ctx_index(ctxt)) {  in timer_get_ctl()
70 u64 timer_get_cval(struct arch_timer_context *ctxt)  in timer_get_cval()  argument
72 	struct kvm_vcpu *vcpu = ctxt->vcpu;  in timer_get_cval()
74 	switch(arch_timer_ctx_index(ctxt)) {  in timer_get_cval()
85 static u64 timer_get_offset(struct arch_timer_context *ctxt)  in timer_get_offset()  argument
87 	struct kvm_vcpu *vcpu = ctxt->vcpu;  in timer_get_offset()
89 	switch(arch_timer_ctx_index(ctxt)) {  in timer_get_offset()
97 static void timer_set_ctl(struct arch_timer_context *ctxt, u32 ctl)  in timer_set_ctl()  argument
99 	struct kvm_vcpu *vcpu = ctxt->vcpu;  in timer_set_ctl()
101 	switch(arch_timer_ctx_index(ctxt)) {  in timer_set_ctl()
113 static void timer_set_cval(struct arch_timer_context *ctxt, u64 cval)  in timer_set_cval()  argument
115 	struct kvm_vcpu *vcpu = ctxt->vcpu;  in timer_set_cval()
117 	switch(arch_timer_ctx_index(ctxt)) {  in timer_set_cval()
129 static void timer_set_offset(struct arch_timer_context *ctxt, u64 offset)  in timer_set_offset()  argument
131 	struct kvm_vcpu *vcpu = ctxt->vcpu;  in timer_set_offset()
133 	switch(arch_timer_ctx_index(ctxt)) {  in timer_set_offset()
138 		WARN(offset, "timer %ld\n", arch_timer_ctx_index(ctxt));  in timer_set_offset()