(XEN) DEBUG vcpu_wake 450 ns=2920
(XEN) DEBUG schedule 1401 ns=1160
(XEN) DEBUG schedule 1401 ns=2410
(XEN) IDEBUG schedule 1401 ns=2290
(XEN) DEBUG schedule 1401 ns=700
(XEN) DEBUG schedule 1401 ns=1150
(XEN) DEBUG vcpu_wake 450 ns=820
(XEN) DEBUG schedule 1401 ns=740
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=670
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=630
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=620
(XEN) latDEBUG schedule 1401 ns=810
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=580
(XEN) latDEBUG schedule 1401 ns=790
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=630
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=550
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=670
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=660
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=600
(XEN) latDEBUG schedule 1401 ns=830
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=590
(XEN) latenDEBUG schedule 1401 ns=820
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=660
(XEN) DEBUG vcpu_wake 450 ns=630
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=590
(XEN) latDEBUG schedule 1401 ns=880
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=590
(XEN) latDEBUG schedule 1401 ns=860
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=630
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=830
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=670
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=580
(XEN) latDEBUG schedule 1401 ns=870
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=550
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=550
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=600
(XEN) latDEBUG schedule 1401 ns=810
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=600
(XEN) latenDEBUG schedule 1401 ns=810
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=1020
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=680
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=550
(XEN) latDEBUG schedule 1401 ns=840
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=590
(XEN) lateDEBUG schedule 1401 ns=830
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=660
(XEN) DEBUG vcpu_wake 450 ns=620
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=590
(XEN) latDEBUG schedule 1401 ns=850
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=580
(XEN) latDEBUG schedule 1401 ns=820
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=550
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=530
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=580
(XEN) latDEBUG schedule 1401 ns=870
(XEN) DEBUG schedule 1401 ns=660
(XEN) DEBUG vcpu_wake 450 ns=540
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=550
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=540
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=550
(XEN) DEBUG schedule 1401 ns=560
(XEN) latDEBUG schedule 1401 ns=820
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=540
(XEN) lateDEBUG schedule 1401 ns=850
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=620
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=660
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=600
(XEN) latDEBUG schedule 1401 ns=840
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=650
(XEN) DEBUG schedule 1401 ns=640
(XEN) latDEBUG schedule 1401 ns=820
(XEN) DEBUG schedule 1401 ns=670
(XEN) DEBUG vcpu_wake 450 ns=620
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=670
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=660
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=540
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=560
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=550
(XEN) DEBUG schedule 1401 ns=520
(XEN) latDEBUG schedule 1401 ns=860
(XEN) DEBUG schedule 1401 ns=670
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=560
(XEN) lateDEBUG schedule 1401 ns=850
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=620
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=540
(XEN) latDEBUG schedule 1401 ns=830
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=530
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=540
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=570
(XEN) latDEBUG schedule 1401 ns=860
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=560
(XEN) lateDEBUG schedule 1401 ns=830
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=540
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG vcpu_wake 450 ns=550
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=630
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=1000
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=620
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=650
(XEN) DEBUG vcpu_wake 450 ns=570
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=620
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=640
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=600
(XEN) latDEBUG schedule 1401 ns=860
(XEN) DEBUG schedule 1401 ns=630
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=590
(XEN) latDEBUG schedule 1401 ns=830
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=590
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=610
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG schedule 1401 ns=600
(XEN) DEBUG vcpu_wake 450 ns=560
(XEN) DEBUG schedule 1401 ns=580
(XEN) DEBUG schedule 1401 ns=620
(XEN) DEBUG vcpu_wake 450 ns=600
(XEN) DEBUG schedule 1401 ns=550
(XEN) DEBUG schedule 1401 ns=610
(XEN) DEBUG vcpu_wake 450 ns=580
(XEN) DEBUG schedule 1401 ns=570
(XEN) DEBUG schedule 1401 ns=600