bionic/libc/kernel/arch-x86_64