[Xen-changelog] [xen-unstable] xen ppc: Guests need the default 100Hz ticker.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kfraser@xxxxxxxxxxxxxxxxxxxxx
# Date 1173548334 0
# Node ID 7db52e0ed1335aa6da5a48dd597effa01a58173b
# Parent  a6316fc7a87f7f2e7ce0bf1e37c70e4924a13be1
xen ppc: Guests need the default 100Hz ticker.
Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>
---
 xen/arch/powerpc/domain.c |    2 ++
 1 files changed, 2 insertions(+)

diff -r a6316fc7a87f -r 7db52e0ed133 xen/arch/powerpc/domain.c
--- a/xen/arch/powerpc/domain.c Sat Mar 10 17:01:21 2007 +0000
+++ b/xen/arch/powerpc/domain.c Sat Mar 10 17:38:54 2007 +0000
@@ -142,6 +142,8 @@ void free_vcpu_struct(struct vcpu *v)
 
 int vcpu_initialise(struct vcpu *v)
 {
+    /* Guests by default have a 100Hz ticker. */
+    v->periodic_period = MILLISECS(10);
     return 0;
 }
 

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog