*/
#define PER_CPU_MEM_SIZE 4096
-extern int __num_possible_cpus;
-extern void _get_num_possible_cpus(void);
+extern int __num_possible_cpus
+ __attribute__((visibility("hidden")));
+
+extern void _get_num_possible_cpus(void)
+ __attribute__((visibility("hidden")));
static inline
int num_possible_cpus(void)