/* See Intel's IA-32 SW Dev's Manual Vol2 under CPUID.  */
static int summit_phys_pkg_id(int cpuid_apic, int index_msb)
/* See Intel's IA-32 SW Dev's Manual Vol2 under CPUID.  */
static int summit_phys_pkg_id(int cpuid_apic, int index_msb)
{
	return hard_smp_processor_id() >> index_msb;
}