No definitions found in the database

Referenced in 3 files:

• libkern/img4/interface.c
  • line 12
  • line 17
• libkern/libkern/img4/interface.h, line 414
• osfmk/arm64/arm64_hypercall.c, line 77