read_c0_count
write_c0_compare(read_c0_count() + mips_hpt_frequency / HZ);
start = read_c0_count();
end = read_c0_count();
start = read_c0_count();
end = read_c0_count();
start = read_c0_count();
count = read_c0_count() - start;
freq = read_c0_count();
return read_c0_count();
return read_c0_count();
cnt = read_c0_count();
while (read_c0_count() < (cnt + COMPARE_INT_SEEN_TICKS))
cnt = read_c0_count();
if ((int)(read_c0_count() - cnt) < 0)
while ((int)(read_c0_count() - cnt) <= 0)
while (read_c0_count() < (cnt + COMPARE_INT_SEEN_TICKS))
cnt = read_c0_count();
while (read_c0_count() < (cnt + COMPARE_INT_SEEN_TICKS))
cnt = read_c0_count();
res = ((int)(read_c0_count() - cnt) >= 0) ? -ETIME : 0;
cnt = read_c0_count();
cnt = read_c0_count() - cnt;
return read_c0_count();
return read_c0_count();
write_c0_compare(read_c0_count() + mips_hpt_frequency / HZ);
write_c0_compare(read_c0_count() + (8 * mips_hpt_frequency / HZ));
write_c0_compare(read_c0_count() + (8* mips_hpt_frequency/HZ));
write_vpe_c0_count(read_c0_count());
write_c0_compare(read_c0_count() + COUNTON);
count = read_c0_count();
start = read_c0_count();
now = read_c0_count();
regs->regs[rt] = read_c0_count();
write_c0_gtoffset(compare - read_c0_count());
write_c0_gtoffset(compare - read_c0_count());
write_c0_gtoffset(compare - read_c0_count());
write_c0_gtoffset(start_count - read_c0_count());
write_c0_compare(read_c0_count());
write_c0_compare(read_c0_count() + mips_hpt_frequency/HZ);
start = read_c0_count();
count = read_c0_count();
ct0 = read_c0_count();
ct1 = read_c0_count();
start = read_c0_count();
end = read_c0_count();
mips_hpt_frequency = read_c0_count() * 1000 / WAIT_MS;
ct0 = read_c0_count();
ct1 = read_c0_count();