Lines Matching refs:kvm_vcpu
27 struct kvm_vcpu *vcpu;
71 int kvm_timer_enable(struct kvm_vcpu *vcpu);
72 int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu);
73 void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu);
74 void kvm_timer_sync_hwstate(struct kvm_vcpu *vcpu);
75 bool kvm_timer_should_notify_user(struct kvm_vcpu *vcpu);
76 void kvm_timer_update_run(struct kvm_vcpu *vcpu);
77 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu);
79 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *, u64 regid);
80 int kvm_arm_timer_set_reg(struct kvm_vcpu *, u64 regid, u64 value);
82 int kvm_arm_timer_set_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
83 int kvm_arm_timer_get_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
84 int kvm_arm_timer_has_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
86 bool kvm_timer_is_pending(struct kvm_vcpu *vcpu);
90 void kvm_timer_vcpu_load(struct kvm_vcpu *vcpu);
91 void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu);
104 u64 kvm_arm_timer_read_sysreg(struct kvm_vcpu *vcpu,
107 void kvm_arm_timer_write_sysreg(struct kvm_vcpu *vcpu,