allocate thread stacks the same way on baremetal/xen

diff --git a/platform/baremetal/sched.c b/platform/baremetal/sched.c
index bbdb1a2f86f68857ac4483039be111419c70c9df..b410e12e8ecbb40401376565dfcf09c3dd647f18 100644 (file)
--- a/platform/baremetal/sched.c
+++ b/platform/baremetal/sched.c
@@ -141,15 +141,15 @@ static void
 stackalloc(void **stack, unsigned long *ss)
 {
 
-       *stack = bmk_platform_allocpg2(BMK_THREAD_STACK_PAGE_ORDER);
-       *ss = BMK_THREAD_STACKSIZE;
+       *stack = bmk_platform_allocpg2(bmk_stackpageorder);
+       *ss = bmk_stacksize;
 }
 
 static void
 stackfree(struct bmk_thread *thread)
 {
 
-       bmk_platform_freepg2(thread->bt_stackbase, BMK_THREAD_STACK_PAGE_ORDER);
+       bmk_platform_freepg2(thread->bt_stackbase, bmk_stackpageorder);
 }
 
 static void

diff --git a/platform/xen/xen/sched.c b/platform/xen/xen/sched.c
index c4c3cc7d32ec8fdf48a674ab31d4c5910207f041..e4b7b57d8f6c5474d72e5e20e4c0d53b4fc1b7f2 100644 (file)
--- a/platform/xen/xen/sched.c
+++ b/platform/xen/xen/sched.c
@@ -140,15 +140,15 @@ static void
 stackalloc(void **stack, unsigned long *ss)
 {
 
-       *stack = bmk_platform_allocpg2(STACK_SIZE_PAGE_ORDER);
-       *ss = STACK_SIZE;
+       *stack = bmk_platform_allocpg2(bmk_stackpageorder);
+       *ss = bmk_stacksize;
 }
 
 static void
 stackfree(struct bmk_thread *thread)
 {
 
-       bmk_platform_freepg2(thread->bt_stackbase, STACK_SIZE_PAGE_ORDER);
+       bmk_platform_freepg2(thread->bt_stackbase, bmk_stackpageorder);
 }
 
 static void