l4/pkg/uclibc/lib/uclibc/ARCH-amd64/libc/sysdeps/linux/x86_64/bits
