Fix double-free crash

[vpp.git] / vppinfra / vppinfra / os.h

diff --git a/vppinfra/vppinfra/os.h b/vppinfra/vppinfra/os.h
index b63b35c..a5c74f8 100644 (file)
--- a/vppinfra/vppinfra/os.h
+++ b/vppinfra/vppinfra/os.h
@@ -57,7 +57,16 @@ void os_out_of_memory (void);
 f64 os_cpu_clock_frequency (void);
 
 uword os_get_cpu_number (void);
+uword os_get_ncpus (void);
 
 #include <vppinfra/smp.h>
 
 #endif /* included_os_h */
+
+/*
+ * fd.io coding-style-patch-verification: ON
+ *
+ * Local Variables:
+ * eval: (c-set-style "gnu")
+ * End:
+ */