No definitions found in the database

Referenced in 3 files:

• osfmk/arm/machine_cpu.h, line 57
• osfmk/arm/machine_routines.h, line 792
• osfmk/arm64/machine_routines.c, line 2705