aboutsummaryrefslogtreecommitdiff
path: root/core/mem_region.c
diff options
context:
space:
mode:
Diffstat (limited to 'core/mem_region.c')
-rw-r--r--core/mem_region.c9
1 files changed, 8 insertions, 1 deletions
diff --git a/core/mem_region.c b/core/mem_region.c
index 405c2d4..afffe99 100644
--- a/core/mem_region.c
+++ b/core/mem_region.c
@@ -376,8 +376,11 @@ found:
void *mem_alloc(struct mem_region *region, size_t size, size_t align,
const char *location)
{
- void *r = __mem_alloc(region, size, align, location);
+ void *r;
+ assert(lock_held_by_me(&region->free_list_lock));
+
+ r = __mem_alloc(region, size, align, location);
if (r)
return r;
@@ -394,6 +397,8 @@ void mem_free(struct mem_region *region, void *mem, const char *location)
/* This should be a constant. */
assert(is_rodata(location));
+ assert(lock_held_by_me(&region->free_list_lock));
+
/* Freeing NULL is always a noop. */
if (!mem)
return;
@@ -426,6 +431,8 @@ bool mem_resize(struct mem_region *region, void *mem, size_t len,
/* This should be a constant. */
assert(is_rodata(location));
+ assert(lock_held_by_me(&region->free_list_lock));
+
/* Get header. */
hdr = mem - sizeof(*hdr);
if (hdr->free)