minix3/kernel/do_safememset.o