No definitions found in the database

Referenced in 2 files:

• gen/clock_gettime.c
  • line 41
  • line 91
  • line 192
  • line 225
• tests/clock.c
  • line 104
  • line 111