No definitions found in the database

Referenced in 3 files:

• osfmk/ppc/Firmware.s, line 2159
• osfmk/ppc/cswtch.s
  • line 1202
  • line 1624
  • line 1971
  • line 2198
  • line 2328
• osfmk/ppc/start.s, line 349