l4/pkg/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/ia64/bits
