2012-09-01 clock_gettime() -> __vdso_clock_gettime Linux clock_gettime()はx86では、arch/x86/vdso/vclock_gettime.cにある__vdso_clock_gettimeというシステムコールを使ってた。