kern.threads.virtual_cpu: 2
kern.ccpu: 1948
cpu1 AP:
<118>hw.acpi.cpu.cx_lowest: 
kern.smp.maxcpus: 16
kern.smp.cpus: 2
debug.cpufreq.lowest: 0
debug.cpufreq.verbose: 0
debug.kdb.stop_cpus: 1
debug.PMAP1changedcpu: 0
hw.ncpu: 2
hw.acpi.cpu.cx_lowest: C1
machdep.cpu_idle_hlt: 1
machdep.hlt_cpus: 0
dev.cpu.0.%desc: ACPI CPU
dev.cpu.0.%driver: cpu
dev.cpu.0.%location: handle=\_PR_.CPU1
dev.cpu.0.%pnpinfo: _HID=none _UID=0
dev.cpu.0.%parent: acpi0
dev.cpu.0.freq: 2388
dev.cpu.0.freq_levels: 2388/100000 2189/84480 1990/70533 1791/63480 995/32266
dev.cpu.0.cx_supported: C1/0
dev.cpu.0.cx_lowest: C1
dev.cpu.0.cx_usage: 100.00%
dev.cpu.1.%desc: ACPI CPU
dev.cpu.1.%driver: cpu
dev.cpu.1.%location: handle=\_PR_.CPU2
dev.cpu.1.%pnpinfo: _HID=none _UID=0
dev.cpu.1.%parent: acpi0
dev.cpu.1.cx_supported: C1/0
dev.cpu.1.cx_lowest: C1
dev.cpu.1.cx_usage: 100.00%
dev.acpi_perf.0.%parent: cpu0
dev.acpi_perf.1.%parent: cpu1
dev.powernow.0.%parent: cpu0
dev.powernow.1.%parent: cpu1
dev.cpufreq.0.%driver: cpufreq
dev.cpufreq.0.%parent: cpu0
dev.cpufreq.1.%driver: cpufreq
dev.cpufreq.1.%parent: cpu1