There is nothing vcpu-specific about hpet_init(); all it does is follow the
vcpu's domain pointer to get at the domain vhpet state.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
HVM_REGISTER_SAVE_RESTORE(HPET, hpet_save, hpet_load, 1, HVMSR_PER_DOM);
-void hpet_init(struct vcpu *v)
+void hpet_init(struct domain *d)
{
- HPETState *h = vcpu_vhpet(v);
+ HPETState *h = domain_vhpet(d);
int i;
memset(h, 0, sizeof(HPETState));
void hpet_reset(struct domain *d)
{
hpet_deinit(d);
- hpet_init(d->vcpu[0]);
+ hpet_init(d);
}
/*
{
/* NB. All these really belong in hvm_domain_initialise(). */
pmtimer_init(v);
- hpet_init(v);
+ hpet_init(d);
/* Init guest TSC to start from zero. */
hvm_set_guest_tsc(v, 0);
void pmtimer_reset(struct domain *d);
int pmtimer_change_ioport(struct domain *d, unsigned int version);
-void hpet_init(struct vcpu *v);
+void hpet_init(struct domain *d);
void hpet_deinit(struct domain *d);
void hpet_reset(struct domain *d);