No definitions found in the database

Referenced in 3 files:

• osfmk/ppc/Firmware.s, line 2140
• osfmk/ppc/cswtch.s
  • line 1316
  • line 1865
  • line 2200
  • line 2398
  • line 2547
• osfmk/ppc/start.s, line 341