Lines Matching refs:kvm_vcpu
54 struct kvm_vcpu *vcpu;
85 void get_timer_map(struct kvm_vcpu *vcpu, struct timer_map *map);
98 int kvm_timer_enable(struct kvm_vcpu *vcpu);
99 int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu);
100 void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu);
101 void kvm_timer_sync_user(struct kvm_vcpu *vcpu);
102 bool kvm_timer_should_notify_user(struct kvm_vcpu *vcpu);
103 void kvm_timer_update_run(struct kvm_vcpu *vcpu);
104 void kvm_timer_vcpu_terminate(struct kvm_vcpu *vcpu);
108 u64 kvm_arm_timer_get_reg(struct kvm_vcpu *, u64 regid);
109 int kvm_arm_timer_set_reg(struct kvm_vcpu *, u64 regid, u64 value);
111 int kvm_arm_timer_set_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
112 int kvm_arm_timer_get_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
113 int kvm_arm_timer_has_attr(struct kvm_vcpu *vcpu, struct kvm_device_attr *attr);
117 void kvm_timer_vcpu_load(struct kvm_vcpu *vcpu);
118 void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu);
134 u64 kvm_arm_timer_read_sysreg(struct kvm_vcpu *vcpu,
137 void kvm_arm_timer_write_sysreg(struct kvm_vcpu *vcpu,