cpuid_to_hartid_map
#define cpuid_to_hartid_map(cpu) __cpuid_to_hartid_map[cpu]
static inline unsigned long cpuid_to_hartid_map(int cpu)