/dev/boot/include/bits/