No definitions found in the database

Referenced in 2 files:

• bsd/sys/kdebug.h, line 831
• iokit/IOKit/IOTimeStamp.h, line 212