Things now compile and link.
[akaros.git] / kern / arch / x86 / arch.h
index 08aab2b..075dab5 100644 (file)
@@ -30,6 +30,7 @@ static inline int get_hw_coreid(uint32_t coreid) __attribute__((always_inline));
 static inline int hw_core_id(void) __attribute__((always_inline));
 static inline int get_os_coreid(int hw_coreid) __attribute__((always_inline));
 static inline int core_id(void) __attribute__((always_inline));
+static inline int node_id(void) __attribute__((always_inline));
 static inline int core_id_early(void) __attribute__((always_inline));
 static inline void cache_flush(void) __attribute__((always_inline));
 static inline void reboot(void)
@@ -165,6 +166,11 @@ static inline int get_os_coreid(int hw_coreid)
        return os_coreid_lookup[hw_coreid];
 }
 
+static inline int node_id(void)
+{
+       return 0;
+}
+
 #ifdef CONFIG_FAST_COREID
 static inline int core_id(void)
 {