Defined in 2 files as a prototype:

• osfmk/arm/commpage/commpage.h, line 37 (as a prototype)
• osfmk/i386/commpage/commpage.h, line 137 (as a prototype)

Defined in 2 files as a function:

• osfmk/arm/commpage/commpage.c, line 288 (as a function)
• osfmk/i386/commpage/commpage.c, line 737 (as a function)

Referenced in 5 files:

• osfmk/arm/commpage/commpage.c, line 149
• osfmk/arm/commpage/commpage.h, line 38
• osfmk/arm/rtclock.c, line 310
• osfmk/i386/commpage/commpage.h, line 138
• osfmk/i386/rtclock.c, line 406