add arch_prctl syscall (amd64/x32 only)
[musl] / crt / microblaze / crt1.s
2012-09-29 Rich Felkermicroblaze port