No definitions found in the database

Referenced in 4 files:

• private/malloc_private.h, line 272
• src/malloc.c, line 3543
• src/malloc_exclaves.c, line 370
• tests/malloc_with_options_test.c, line 100