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 77
  • line 114
  • line 135
  • line 135
  • line 137
  • line 139
  • line 175
  • line 451
  • line 457
  • line 464
  • line 474
  • line 505
  • line 550
  • line 569
  • line 581
  • line 616
  • line 689
  • line 706