(XEN) sched_smt_power_savings: disabled
(XEN) NOW=0x000000592C3F629D
(XEN) Idle cpupool:
(XEN) Scheduler: SMP Credit Scheduler (credit)
(XEN) info:
(XEN) 	ncpus              = 4
(XEN) 	master             = 0
(XEN) 	credit             = 1200
(XEN) 	credit balance     = 466
(XEN) 	weight             = 512
(XEN) 	runq_sort          = 3709
(XEN) 	default-weight     = 256
(XEN) 	tslice             = 30ms
(XEN) 	credits per msec   = 10
(XEN) 	ticks per tslice   = 3
(XEN) 	migration delay    = 0us
(XEN) idlers: 00000000,00000000,00000000,0000000e
(XEN) active vcpus:
(XEN) 	  1: [0.1] pri=0 flags=0 cpu=0 credit=208 [w=512]
(XEN) Cpupool 0:
(XEN) Scheduler: SMP Credit Scheduler (credit)
(XEN) info:
(XEN) 	ncpus              = 4
(XEN) 	master             = 0
(XEN) 	credit             = 1200
(XEN) 	credit balance     = 466
(XEN) 	weight             = 512
(XEN) 	runq_sort          = 3709
(XEN) 	default-weight     = 256
(XEN) 	tslice             = 30ms
(XEN) 	credits per msec   = 10
(XEN) 	ticks per tslice   = 3
(XEN) 	migration delay    = 0us
(XEN) idlers: 00000000,00000000,00000000,0000000e
(XEN) active vcpus:
(XEN) 	  1: [0.1] pri=0 flags=0 cpu=0 credit=208 [w=512]
(XEN) CPU[00]  sort=3708, sibling=00000000,00000000,00000000,00000003, core=00000000,00000000,00000000,0000000f
(XEN) 	run: [0.1] pri=0 flags=0 cpu=0 credit=208 [w=512]
(XEN) 	  1: [32767.0] pri=-64 flags=0 cpu=0