Defined in 2 files as a variable:

• tests/correct_kernel_booted.c, line 132 (as a variable)
• tests/correct_kernel_booted.c, line 134 (as a variable)

Referenced in 1 files:

• tests/correct_kernel_booted.c
  • line 136
  • line 138
  • line 140
  • line 142
  • line 144
  • line 152
  • line 156
  • line 159