No definitions found in the database

Referenced in 3 files:

• osfmk/ppc/Firmware.s, line 2132
• osfmk/ppc/cswtch.s
  • line 1284
  • line 1833
  • line 2168
  • line 2386
  • line 2543
• osfmk/ppc/start.s, line 337