Defined in 2 files as a variable:

• src/malloc_exclaves.c, line 52 (as a variable)
• src/malloc_exclaves.c, line 54 (as a variable)

Referenced in 1 files:

• src/malloc_exclaves.c
  • line 648
  • line 654