No definitions found in the database

Referenced in 2 files:

• osfmk/arm/model_dep.c, line 780
• osfmk/kern/debug.h, line 382