No definitions found in the database

Referenced in 4 files:

• private/malloc_private.h, line 272
• src/malloc.c, line 3254
• src/malloc_exclaves.c, line 362
• tests/malloc_with_options_test.c, line 88