No definitions found in the database

Referenced in 3 files:

• i386/sys/i386_gettimeofday.s, line 31
• ppc/sys/ppc_gettimeofday.s, line 31
• x86_64/sys/i386_gettimeofday.s, line 31