Lines Matching refs:vcpu
77 int vtimer_phys_ctl_read(struct vcpu *vcpu, uint64_t *rval, void *arg);
78 int vtimer_phys_ctl_write(struct vcpu *vcpu, uint64_t wval, void *arg);
79 int vtimer_phys_cnt_read(struct vcpu *vcpu, uint64_t *rval, void *arg);
80 int vtimer_phys_cnt_write(struct vcpu *vcpu, uint64_t wval, void *arg);
81 int vtimer_phys_cval_read(struct vcpu *vcpu, uint64_t *rval, void *arg);
82 int vtimer_phys_cval_write(struct vcpu *vcpu, uint64_t wval, void *arg);
83 int vtimer_phys_tval_read(struct vcpu *vcpu, uint64_t *rval, void *arg);
84 int vtimer_phys_tval_write(struct vcpu *vcpu, uint64_t wval, void *arg);