ia64/xen-unstable

diff tools/misc/xen_cpuperf.c @ 854:0cd58ce5a503

bitkeeper revision 1.531 (3f9da0175ZA8nMoVtg9tCQeXL4osyw)

time.c, xen_log.c, xen_cpuperf.c:
Add 'independent_wallclock' cmdline and sysctl options to xenolinux.
author kaf24@scramble.cl.cam.ac.uk
date Mon Oct 27 22:45:43 2003 +0000 (2003-10-27)
parents 399bb8faf92a
children b5c1b4c684f2
line diff
     1.1 --- a/tools/misc/xen_cpuperf.c	Mon Oct 27 16:55:56 2003 +0000
     1.2 +++ b/tools/misc/xen_cpuperf.c	Mon Oct 27 22:45:43 2003 +0000
     1.3 @@ -16,7 +16,6 @@
     1.4  #include <string.h>
     1.5  
     1.6  #include "p4perf.h"
     1.7 -#include "hypervisor-ifs/dom0_ops.h"
     1.8  #include "dom0_defs.h"
     1.9  
    1.10  void dom0_wrmsr( int cpu_mask, int msr, unsigned int low, unsigned int high )