/lib/libsys/x86/

• ../
• Makefile.sys
• __vdso_gettc.c
• pkru.3
• pkru.c
• sched_getcpu_x86.c