x86/hvm: alter hpet_init() to take a domain rather than vcpu
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 28 Jul 2014 14:55:32 +0000 (16:55 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 28 Jul 2014 14:55:32 +0000 (16:55 +0200)
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>
xen/arch/x86/hvm/hpet.c
xen/arch/x86/hvm/hvm.c
xen/include/asm-x86/hvm/vpt.h

index 167994ed334b39de022538379652efed2033437a..81ad0d614ad6f3294c11f23b66e82c656ceaea3f 100644 (file)
@@ -611,9 +611,9 @@ static int hpet_load(struct domain *d, hvm_domain_context_t *h)
 
 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));
@@ -665,7 +665,7 @@ void hpet_deinit(struct domain *d)
 void hpet_reset(struct domain *d)
 {
     hpet_deinit(d);
-    hpet_init(d->vcpu[0]);
+    hpet_init(d);
 }
 
 /*
index fba13e07ebedcafff0fe487d457b608e7b4545ba..e8344066764ffd8fc9718c807b1984d589a8352d 100644 (file)
@@ -2300,7 +2300,7 @@ int hvm_vcpu_initialise(struct vcpu *v)
     {
         /* 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);
index 41159d83518532e6851ffad0469797e7ee67cc13..105fbdba58e026be584691317cda20630690d820 100644 (file)
@@ -190,7 +190,7 @@ void pmtimer_deinit(struct domain *d);
 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);