From ea7ea488401a0eadc3ba3d3c69fc46da1b990410 Mon Sep 17 00:00:00 2001
From: Joris Vink <joris@coders.se>
Date: Thu, 25 Oct 2018 19:31:48 +0200
Subject: [PATCH] actually just query for HW_NCPU on all BSDs.

---
 src/bsd.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/bsd.c b/src/bsd.c
index 97af9cc..3fc8e60 100644
--- a/src/bsd.c
+++ b/src/bsd.c
@@ -48,7 +48,6 @@ static char	pledges[256] = { "stdio rpath inet error" };
 void
 kore_platform_init(void)
 {
-#if defined(__MACH__) || defined(__FreeBSD_version)
 	long	n;
 	size_t	len = sizeof(n);
 	int	mib[] = { CTL_HW, HW_NCPU };
@@ -59,9 +58,6 @@ kore_platform_init(void)
 	} else {
 		cpu_count = (u_int16_t)n;
 	}
-#else
-	cpu_count = 1;
-#endif /* __MACH__ || __FreeBSD_version */
 }
 
 void