hvm/hpet: In hpet_save, correctly compute mc64.
authorDon Slutz <dslutz@verizon.com>
Fri, 2 May 2014 20:18:03 +0000 (16:18 -0400)
committerTim Deegan <tim@xen.org>
Thu, 8 May 2014 11:03:53 +0000 (12:03 +0100)
commitf06ffcd4a6ea1b83cd822a9f91a2d7fb47547f34
tree9df6182a1229c0fb0b8021c0895c0576df05d82a
parent825e70b1ec9df2a2d9f949232c4a368a0ea77416
hvm/hpet: In hpet_save, correctly compute mc64.

When the master clock is not enabled, mc64 has the right value.

Basicly do the same thing as hpet_read_maincounter().

Signed-off-by: Don Slutz <dslutz@verizon.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Tim Deegan <tim@xen.org>
xen/arch/x86/hvm/hpet.c