Lines Matching refs:kvm_vcpu
27 struct kvm_vcpu *vcpu;
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);
72 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *, u64 regid);
73 int kvm_arm_timer_set_reg(struct kvm_vcpu *, u64 regid, u64 value);
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);
81 void kvm_timer_vcpu_load(struct kvm_vcpu *vcpu);
82 void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu);
95 u64 kvm_arm_timer_read_sysreg(struct kvm_vcpu *vcpu,
98 void kvm_arm_timer_write_sysreg(struct kvm_vcpu *vcpu,