(XEN) Set CPU acpi_id(1) cpuid(0) Px State info:
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=3221291106
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=0
(XEN)   _PSS: state_count=2
(XEN)   State0: 4000MHz 16362mW 4us 4us 0 0
(XEN)   State1: 1400MHz 3285mW 4us 4us 0x4 0x4
(XEN)   _PSD: num_entries=5 rev=0 domain=0 coord_type=252 num_processors=8
(XEN)   _PPC: 0
(XEN) max_freq: 4000000    second_max_freq: 1400000
(XEN) CPU0: Core Boost/Turbo detected and enabled
(XEN) CPU 0 initialization completed
(XEN) Set CPU acpi_id(2) cpuid(1) Px State info:
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=3221291106
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=0
(XEN)   _PSS: state_count=2
(XEN)   State0: 4000MHz 16362mW 4us 4us 0 0
(XEN)   State1: 1400MHz 3285mW 4us 4us 0x4 0x4
(XEN)   _PSD: num_entries=5 rev=0 domain=0 coord_type=252 num_processors=8
(XEN)   _PPC: 0
(XEN) adding CPU 1
(XEN) Set CPU acpi_id(3) cpuid(2) Px State info:
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=3221291106
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=0
(XEN)   _PSS: state_count=2
(XEN)   State0: 4000MHz 16362mW 4us 4us 0 0
(XEN)   State1: 1400MHz 3285mW 4us 4us 0x4 0x4
(XEN)   _PSD: num_entries=5 rev=0 domain=0 coord_type=252 num_processors=8
(XEN)   _PPC: 0
(XEN) adding CPU 2
(XEN) Set CPU acpi_id(4) cpuid(3) Px State info:
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=3221291106
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=0
(XEN)   _PSS: state_count=2
(XEN)   State0: 4000MHz 16362mW 4us 4us 0 0
(XEN)   State1: 1400MHz 3285mW 4us 4us 0x4 0x4
(XEN)   _PSD: num_entries=5 rev=0 domain=0 coord_type=252 num_processors=8
(XEN)   _PPC: 0
(XEN) adding CPU 3
(XEN) Set CPU acpi_id(5) cpuid(4) Px State info:
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=3221291106
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=0
(XEN)   _PSS: state_count=2
(XEN)   State0: 4000MHz 16362mW 4us 4us 0 0
(XEN)   State1: 1400MHz 3285mW 4us 4us 0x4 0x4
(XEN)   _PSD: num_entries=5 rev=0 domain=0 coord_type=252 num_processors=8
(XEN)   _PPC: 0
(XEN) adding CPU 4
(XEN) Set CPU acpi_id(6) cpuid(5) Px State info:
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=3221291106
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=0
(XEN)   _PSS: state_count=2
(XEN)   State0: 4000MHz 16362mW 4us 4us 0 0
(XEN)   State1: 1400MHz 3285mW 4us 4us 0x4 0x4
(XEN)   _PSD: num_entries=5 rev=0 domain=0 coord_type=252 num_processors=8
(XEN)   _PPC: 0
(XEN) adding CPU 5
(XEN) Set CPU acpi_id(7) cpuid(6) Px State info:
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=3221291106
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=0
(XEN)   _PSS: state_count=2
(XEN)   State0: 4000MHz 16362mW 4us 4us 0 0
(XEN)   State1: 1400MHz 3285mW 4us 4us 0x4 0x4
(XEN)   _PSD: num_entries=5 rev=0 domain=0 coord_type=252 num_processors=8
(XEN)   _PPC: 0
(XEN) adding CPU 6
(XEN) Set CPU acpi_id(8) cpuid(7) Px State info:
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=3221291106
(XEN)   _PCT: descriptor=130, length=12, space_id=127, bit_width=64, bit_offset=0, reserved=0, address=0
(XEN)   _PSS: state_count=2
(XEN)   State0: 4000MHz 16362mW 4us 4us 0 0
(XEN)   State1: 1400MHz 3285mW 4us 4us 0x4 0x4
(XEN)   _PSD: num_entries=5 rev=0 domain=0 coord_type=252 num_processors=8
(XEN)   _PPC: 0
(XEN) adding CPU 7