No definitions found in the database

Referenced in 2 files:

• bsd/kern/imageboot.c
  • line 237
  • line 240
• osfmk/i386/fpu.c
  • line 254
  • line 255