Lines Matching refs:vcpu
27 struct kvm_vcpu *vcpu; member
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);
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);
102 #define arch_timer_ctx_index(ctx) ((ctx) - vcpu_timer((ctx)->vcpu)->timers)
104 u64 kvm_arm_timer_read_sysreg(struct kvm_vcpu *vcpu,
107 void kvm_arm_timer_write_sysreg(struct kvm_vcpu *vcpu,