No definitions found in the database

Referenced in 3 files:

• osfmk/ppc/Firmware.s, line 2128
• osfmk/ppc/cswtch.s
  • line 1267
  • line 1816
  • line 2151
  • line 2380
  • line 2535
  • line 2537
  • line 2539
• osfmk/ppc/start.s, line 334