No definitions found in the database

Referenced in 2 files:

• tests/correct_kernel_booted.c, line 141
• tests/proc_core_name_24152432.c, line 164