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