Defined in 1 files as a variable:

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

Referenced in 1 files:

• src/malloc_exclaves.c
  • line 41
  • line 73
  • line 110
  • line 131
  • line 131
  • line 133
  • line 135
  • line 168
  • line 443
  • line 449
  • line 456
  • line 466
  • line 497
  • line 542
  • line 561
  • line 573
  • line 608
  • line 681
  • line 698