kernel: cpu: Add cpu_count() for reading 'ncpu'

Signed-off-by: Ian Moffett <ian@osmora.org>

1 files changed, 6 insertions, 0 deletions

diff --git a/sys/kern/kern_cpu.c b/sys/kern/kern_cpu.c
index 97a7aa4..1779244 100644
--- a/sys/kern/kern_cpu.c
+++ b/sys/kern/kern_cpu.c
@@ -68,3 +68,9 @@ cpu_get(size_t i)
 
     return ci_list[i];
 }
+
+size_t
+cpu_count(void)
+{
+    return ncpu;
+}