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 169
  • line 436
  • line 442
  • line 449
  • line 459
  • line 490
  • line 535
  • line 554
  • line 566
  • line 601
  • line 674
  • line 691