No definitions found in the database

Referenced in 2 files:

• osfmk/ppc/Firmware.s, line 2119
• osfmk/ppc/cswtch.s
  • line 1376
  • line 1747
  • line 1838
  • line 2001
  • line 2011
  • line 2137
  • line 2141