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)
commit76f657aea9f168ca617f98d513540bb3587c974b
treee89136dc0c2af8a09fe8c3ba5cba61185b11a036
parenta1833bfb491b69f0373eb069a559aedb385c67ca
x86/hvm: alter hpet_init() to take a domain rather than vcpu

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