Lines Matching defs:ctxt
54 u32 timer_get_ctl(struct arch_timer_context *ctxt)
56 struct kvm_vcpu *vcpu = ctxt->vcpu;
58 switch(arch_timer_ctx_index(ctxt)) {
69 u64 timer_get_cval(struct arch_timer_context *ctxt)
71 struct kvm_vcpu *vcpu = ctxt->vcpu;
73 switch(arch_timer_ctx_index(ctxt)) {
84 static u64 timer_get_offset(struct arch_timer_context *ctxt)
86 struct kvm_vcpu *vcpu = ctxt->vcpu;
88 switch(arch_timer_ctx_index(ctxt)) {
96 static void timer_set_ctl(struct arch_timer_context *ctxt, u32 ctl)
98 struct kvm_vcpu *vcpu = ctxt->vcpu;
100 switch(arch_timer_ctx_index(ctxt)) {
112 static void timer_set_cval(struct arch_timer_context *ctxt, u64 cval)
114 struct kvm_vcpu *vcpu = ctxt->vcpu;
116 switch(arch_timer_ctx_index(ctxt)) {
128 static void timer_set_offset(struct arch_timer_context *ctxt, u64 offset)
130 struct kvm_vcpu *vcpu = ctxt->vcpu;
132 switch(arch_timer_ctx_index(ctxt)) {
137 WARN(offset, "timer %ld\n", arch_timer_ctx_index(ctxt));