minix3/kernel/do_sdevio.o