No definitions found in the database

Referenced in 2 files:

• ppc/sys/setjmp.s, line 57
• threads/cthreads.h, line 194