minix3/drivers/clock/readclock/arch_readclock.o