Defined in 1 files as a variable:

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

Referenced in 1 files:

• src/malloc_exclaves.c
  • line 38
  • line 70
  • line 107
  • line 128
  • line 128
  • line 130
  • line 132
  • line 155
  • line 162
  • line 429
  • line 435
  • line 442
  • line 452
  • line 483
  • line 528
  • line 547
  • line 559
  • line 594
  • line 667
  • line 684