/libc/sysdeps/linux/avr32/bits/