No definitions found in the database

Referenced in 2 files:

• osfmk/machine/commpage.h, line 35
• osfmk/machine/machine_cpuid.h, line 33