PHYS_CPUID_INVALID
phys_cpuid_t phys_id = PHYS_CPUID_INVALID; /* CPU hardware ID */
return PHYS_CPUID_INVALID;
phys_cpuid_t phys_id = PHYS_CPUID_INVALID;
#ifndef PHYS_CPUID_INVALID
return phys_id == PHYS_CPUID_INVALID;