x86-64: Inline vdso clock_gettime helpers
authorAndy Lutomirski <luto@mit.edu>
Fri, 23 Mar 2012 04:15:52 +0000 (21:15 -0700)
committerJohn Stultz <john.stultz@linaro.org>
Fri, 23 Mar 2012 23:49:35 +0000 (16:49 -0700)
commit5f293474c4c6c4dc2baaf2dfd486748b5986de76
tree1ced9f5c401aa7d808954a21e527a0f0e54ea9b8
parent91ec87d57fc38c529034e853687dfb7756de5406
x86-64: Inline vdso clock_gettime helpers

This is about a 3% speedup on Sandy Bridge.

Signed-off-by: Andy Lutomirski <luto@amacapital.net>
Signed-off-by: John Stultz <john.stultz@linaro.org>
arch/x86/vdso/vclock_gettime.c