No definitions found in the database

Referenced in 3 files:

• tests/correct_kernel_booted.c, line 142
• tests/perfmon_tests.c, line 39
• tests/proc_core_name_24152432.c, line 164