add sched_getcpu vDSO support
authorNathan Zadoks <nathan@nathan7.eu>
Wed, 2 Mar 2016 16:26:27 +0000 (17:26 +0100)
committerRich Felker <dalias@aerifal.cx>
Thu, 3 Mar 2016 02:35:40 +0000 (21:35 -0500)
commitdb66ef1f7db7c5b672591a97a97bc789c9efe2f3
tree6934edee491e19a09bbcbfff2bf7426d18e7a2d6
parent98d335735d64ee34a34cb9c08ea2cb51a076d2a1
add sched_getcpu vDSO support

This brings the call to an actually usable speed.
Quick unscientific benchmark: 14ns : 102ns :: vDSO : syscall
arch/x86_64/syscall_arch.h
src/sched/sched_getcpu.c