commit 1162a8812fbe6c356e4f83880082baf37fc7ba90
author Nathaniel Wesley Filardo <wes.filardo@scisemi.com> Wed Jan 01 20:54:07 2025 +0000
committer Nathaniel Wesley Filardo <VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org> Wed Jan 08 15:09:57 2025 -0500
tree ad18c4407d637a1481acb9ad17aa449f0935d26d
parent 02d7044056fedad97c15e808bc994491665e963d

allocator: update stack usage thresholds

sdk/core/allocator/main.cc

diff --git a/sdk/core/allocator/main.cc b/sdk/core/allocator/main.cc
index 865bc98..2dd9d28 100644
--- a/sdk/core/allocator/main.cc
+++ b/sdk/core/allocator/main.cc
@@ -877,12 +877,12 @@
 	return 0;
 }
 
-__cheriot_minimum_stack(0x210) void *heap_allocate(Timeout *timeout,
+__cheriot_minimum_stack(0x220) void *heap_allocate(Timeout *timeout,
                                                    SObj     heapCapability,
                                                    size_t   bytes,
                                                    uint32_t flags)
 {
-	STACK_CHECK(0x210);
+	STACK_CHECK(0x220);
 	if (!check_timeout_pointer(timeout))
 	{
 		return nullptr;
@@ -967,9 +967,9 @@
 	return 0;
 }
 
-__cheriot_minimum_stack(0x190) ssize_t heap_free_all(SObj heapCapability)
+__cheriot_minimum_stack(0x1a0) ssize_t heap_free_all(SObj heapCapability)
 {
-	STACK_CHECK(0x190);
+	STACK_CHECK(0x1a0);
 	LockGuard g{lock};
 	auto     *capability = malloc_capability_unseal(heapCapability);
 	if (capability == nullptr)
@@ -1006,13 +1006,13 @@
 	return freed;
 }
 
-__cheriot_minimum_stack(0x210) void *heap_allocate_array(Timeout *timeout,
+__cheriot_minimum_stack(0x220) void *heap_allocate_array(Timeout *timeout,
                                                          SObj   heapCapability,
                                                          size_t nElements,
                                                          size_t elemSize,
                                                          uint32_t flags)
 {
-	STACK_CHECK(0x210);
+	STACK_CHECK(0x220);
 	if (!check_timeout_pointer(timeout))
 	{
 		return nullptr;