rdtime
*tc = rdtime();
tb = rdtime();
while (tb > rdtime())
sbi_set_timer(rdtime() + cycles);
return rdtime();
DECLARE_INSN(rdtime, MATCH_RDTIME, MASK_RDTIME)