From 7d177492b2f99f4dd388caf2ca9d9be167f02036 Mon Sep 17 00:00:00 2001
From: Hansung Kim <hansung_kim@berkeley.edu>
Date: Sun, 24 Mar 2024 01:45:30 -0700
Subject: [PATCH] Move CORES_PER_CLUSTER to vx_spawn.h

---
 kernel/include/vx_spawn.h | 2 ++
 kernel/src/vx_spawn.c     | 2 --
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/include/vx_spawn.h b/kernel/include/vx_spawn.h
index 2584b997..321e3f83 100644
--- a/kernel/include/vx_spawn.h
+++ b/kernel/include/vx_spawn.h
@@ -17,6 +17,8 @@
 #include <stdint.h>
 #include <stdio.h>
 
+#define CORES_PER_CLUSTER 2
+
 #ifdef __cplusplus
 extern "C" {
 #endif
diff --git a/kernel/src/vx_spawn.c b/kernel/src/vx_spawn.c
index c4c00a06..c57e55f2 100644
--- a/kernel/src/vx_spawn.c
+++ b/kernel/src/vx_spawn.c
@@ -15,8 +15,6 @@
 #include <vx_intrinsics.h>
 #include <inttypes.h>
 
-#define CORES_PER_CLUSTER 2
-
 #ifdef __cplusplus
 extern "C" {
 #endif