No definitions found in the database

Referenced in 2 files:

• bsd/kern/imageboot.c
  • line 239
  • line 242
• osfmk/i386/fpu.c
  • line 273
  • line 275