minix3/kernel/do_vdevio.o