Lines Matching refs:kvm_vcpu
66 int kvm_timer_enable(struct kvm_vcpu *vcpu);
67 int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu);
68 void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu);
69 void kvm_timer_sync_hwstate(struct kvm_vcpu *vcpu);
70 bool kvm_timer_should_notify_user(struct kvm_vcpu *vcpu);
71 void kvm_timer_update_run(struct kvm_vcpu *vcpu);
72 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu);
74 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *, u64 regid);
75 int kvm_arm_timer_set_reg(struct kvm_vcpu *, u64 regid, u64 value);
77 int kvm_arm_timer_set_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
78 int kvm_arm_timer_get_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
79 int kvm_arm_timer_has_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
81 bool kvm_timer_is_pending(struct kvm_vcpu *vcpu);
83 void kvm_timer_schedule(struct kvm_vcpu *vcpu);
84 void kvm_timer_unschedule(struct kvm_vcpu *vcpu);
88 void kvm_timer_vcpu_load(struct kvm_vcpu *vcpu);
89 void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu);