osfmk/i386/cpuid.c

43 #define DBG(x...)			\
239 	DBG("cpuid_fn(0x%08x) eax:0x%08x ebx:0x%08x ecx:0x%08x edx:0x%08x\n",
258 	DBG("cpuid_fn(0x%08x) eax:0x%08x ebx:0x%08x ecx:0x%08x edx:0x%08x\n",
279 	DBG("cpuid_set_cache_info(%p)\n", info_p);
329 		DBG("cpuid(4) index=%d eax=0x%x\n", index, reg[eax]);
372 			DBG(" cache_size[%s]      : %d\n",
374 			DBG(" cache_sharing[%s]   : %d\n",
376 			DBG(" cache_partitions[%s]: %d\n",
414 	DBG(" vm_cache_geometry_colors: %d\n", vm_cache_geometry_colors);
430 		DBG(" cache_size[L2U]      : %d\n",
432 		DBG(" cache_sharing[L2U]   : 1\n");
433 		DBG(" cache_partitions[L2U]: 1\n");
434 		DBG(" linesizes[L2U]       : %d\n",
447 	DBG(" cache_linesize    : %d\n", info_p->cache_linesize);
452 	DBG(" %ld leaf2 descriptors:\n", sizeof(info_p->cache_info));
459 		DBG(" 0x%02x", info_p->cache_info[i]);
494 	DBG("\n");
503 	DBG("cpuid_set_generic_info(%p)\n", info_p);
614 	DBG(" max_basic           : %d\n", info_p->cpuid_max_basic);
615 	DBG(" max_ext             : 0x%08x\n", info_p->cpuid_max_ext);
616 	DBG(" vendor              : %s\n", info_p->cpuid_vendor);
617 	DBG(" brand_string        : %s\n", info_p->cpuid_brand_string);
618 	DBG(" signature           : 0x%08x\n", info_p->cpuid_signature);
619 	DBG(" stepping            : %d\n", info_p->cpuid_stepping);
620 	DBG(" model               : %d\n", info_p->cpuid_model);
621 	DBG(" family              : %d\n", info_p->cpuid_family);
622 	DBG(" type                : %d\n", info_p->cpuid_type);
623 	DBG(" extmodel            : %d\n", info_p->cpuid_extmodel);
624 	DBG(" extfamily           : %d\n", info_p->cpuid_extfamily);
625 	DBG(" brand               : %d\n", info_p->cpuid_brand);
626 	DBG(" features            : 0x%016llx\n", info_p->cpuid_features);
627 	DBG(" extfeatures         : 0x%016llx\n", info_p->cpuid_extfeatures);
628 	DBG(" logical_per_package : %d\n", info_p->cpuid_logical_per_package);
629 	DBG(" microcode_version   : 0x%08x\n", info_p->cpuid_microcode_version);
636 		DBG(" extfeatures         : 0x%016llx\n",
653 		DBG(" Monitor/Mwait Leaf:\n");
654 		DBG("  linesize_min : %d\n", cmp->linesize_min);
655 		DBG("  linesize_max : %d\n", cmp->linesize_max);
656 		DBG("  extensions   : %d\n", cmp->extensions);
657 		DBG("  sub_Cstates  : 0x%08x\n", cmp->sub_Cstates);
679 		DBG(" Thermal/Power Leaf:\n");
680 		DBG("  sensor               : %d\n", ctp->sensor);
681 		DBG("  dynamic_acceleration : %d\n", ctp->dynamic_acceleration);
682 		DBG("  invariant_APIC_timer : %d\n", ctp->invariant_APIC_timer);
683 		DBG("  core_power_limits    : %d\n", ctp->core_power_limits);
684 		DBG("  fine_grain_clock_mod : %d\n", ctp->fine_grain_clock_mod);
685 		DBG("  package_thermal_intr : %d\n", ctp->package_thermal_intr);
686 		DBG("  thresholds           : %d\n", ctp->thresholds);
687 		DBG("  ACNT_MCNT            : %d\n", ctp->ACNT_MCNT);
688 		DBG("  ACNT2                : %d\n", ctp->hardware_feedback);
689 		DBG("  energy_policy        : %d\n", ctp->energy_policy);
708 		DBG(" Architectural Performance Monitoring Leaf:\n");
709 		DBG("  version       : %d\n", capp->version);
710 		DBG("  number        : %d\n", capp->number);
711 		DBG("  width         : %d\n", capp->width);
712 		DBG("  events_number : %d\n", capp->events_number);
713 		DBG("  events        : %d\n", capp->events);
714 		DBG("  fixed_number  : %d\n", capp->fixed_number);
715 		DBG("  fixed_width   : %d\n", capp->fixed_width);
726 		DBG(" XSAVE Leaf:\n");
727 		DBG("  EAX           : 0x%x\n", xsp->extended_state[eax]);
728 		DBG("  EBX           : 0x%x\n", xsp->extended_state[ebx]);
729 		DBG("  ECX           : 0x%x\n", xsp->extended_state[ecx]);
730 		DBG("  EDX           : 0x%x\n", xsp->extended_state[edx]);
740 		DBG(" Feature Leaf7:\n");
741 		DBG("  EBX           : 0x%x\n", reg[ebx]);
794 	DBG("cpuid_set_cpufamily(%p) returning 0x%x\n", info_p, cpufamily);
849 	DBG("cpuid_set_info():\n");
850 	DBG("  core_count   : %d\n", info_p->core_count);
851 	DBG("  thread_count : %d\n", info_p->thread_count);
1114 	DBG("cpuid_init_vmm_info(%p)\n", info_p);
1139 	DBG(" vmm_vendor          : %s\n", info_p->cpuid_vmm_vendor);
1140 	DBG(" vmm_family          : %u\n", info_p->cpuid_vmm_family);
1141 	DBG(" vmm_bus_frequency   : %u\n", info_p->cpuid_vmm_bus_frequency);
1142 	DBG(" vmm_tsc_frequency   : %u\n", info_p->cpuid_vmm_tsc_frequency);