direct-io.hg

changeset 14331:7db52e0ed133

xen ppc: Guests need the default 100Hz ticker.
Signed-off-by: Keir Fraser <keir@xensource.com>
author kfraser@localhost.localdomain
date Sat Mar 10 17:38:54 2007 +0000 (2007-03-10)
parents a6316fc7a87f
children 6b057bdf0354
files xen/arch/powerpc/domain.c
line diff
     1.1 --- a/xen/arch/powerpc/domain.c	Sat Mar 10 17:01:21 2007 +0000
     1.2 +++ b/xen/arch/powerpc/domain.c	Sat Mar 10 17:38:54 2007 +0000
     1.3 @@ -142,6 +142,8 @@ void free_vcpu_struct(struct vcpu *v)
     1.4  
     1.5  int vcpu_initialise(struct vcpu *v)
     1.6  {
     1.7 +    /* Guests by default have a 100Hz ticker. */
     1.8 +    v->periodic_period = MILLISECS(10);
     1.9      return 0;
    1.10  }
    1.11