No definitions found in the database

Referenced in 3 files:

• bsd/sys/kdebug.h, line 209
• osfmk/arm64/pcb.c, line 986
• osfmk/i386/pcb.c, line 2141