Cross Reference: /seL4-camkes-master/projects/musllibc/src/sched/sched

History log of /seL4-camkes-master/projects/musllibc/src/sched/sched_getcpu.c
Revision		Date	Author	Comments
# db66ef1f		02-Mar-2016	Nathan Zadoks <nathan@nathan7.eu>	add sched_getcpu vDSO support This brings the call to an actually usable speed. Quick unscientific benchmark: 14ns : 102ns :: vDSO : syscall
# 98d33573		02-Mar-2016	Nathan Zadoks <nathan@nathan7.eu>	add sched_getcpu This is a GNU extension, but a fairly minor one, for a system call that otherwise has no libc wrapper.