Lines Matching refs:vcpu
27 struct kvm_vcpu *vcpu; member
64 int kvm_timer_enable(struct kvm_vcpu *vcpu);
65 int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu);
66 void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu);
67 void kvm_timer_sync_user(struct kvm_vcpu *vcpu);
68 bool kvm_timer_should_notify_user(struct kvm_vcpu *vcpu);
69 void kvm_timer_update_run(struct kvm_vcpu *vcpu);
70 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu);
75 int kvm_arm_timer_set_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
76 int kvm_arm_timer_get_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
77 int kvm_arm_timer_has_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
79 bool kvm_timer_is_pending(struct kvm_vcpu *vcpu);
83 void kvm_timer_vcpu_load(struct kvm_vcpu *vcpu);
84 void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu);
95 #define arch_timer_ctx_index(ctx) ((ctx) - vcpu_timer((ctx)->vcpu)->timers)
97 u64 kvm_arm_timer_read_sysreg(struct kvm_vcpu *vcpu,
100 void kvm_arm_timer_write_sysreg(struct kvm_vcpu *vcpu,