kern.threads.virtual_cpu: 1
kern.ccpu: 1948
kern.smp.maxcpus: 16
kern.smp.cpus: 1
debug.cpufreq.lowest: 0
debug.cpufreq.verbose: 0
debug.kdb.stop_cpus: 1
debug.PMAP1changedcpu: 0
hw.ncpu: 1
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: 995
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.acpi_perf.0.%parent: cpu0
dev.powernow.0.%parent: cpu0
dev.cpufreq.0.%driver: cpufreq
dev.cpufreq.0.%parent: cpu0