No definitions found in the database

Referenced in 3 files:

• osfmk/ppc/Firmware.s, line 2144
• osfmk/ppc/cswtch.s
  • line 1330
  • line 1896
  • line 2247
  • line 2476
  • line 2644
  • line 2646
  • line 2648
• osfmk/ppc/start.s, line 346