5 extern void cpu_map_rebuild(void);
6 extern int map_to_cpu(unsigned int index
);
7 #define cpu_map_init() cpu_map_rebuild()
9 #define cpu_map_init() do {} while (0)
10 static inline int map_to_cpu(unsigned int index
)
12 return raw_smp_processor_id();