minix3/kernel/do_diagctl.o