1. 3002131 Use VDSO for clock_gettime(2) and gettimeofday(2). by Elliott Hughes ยท 11 years ago