cpu_counter32
const uint32_t prev = cpu_counter32();
ci->ci_data.cpu_cc_freq = (cpu_counter32() - prev) * 10;
pcc_start = cpu_counter32();
pcc_end = cpu_counter32();
#define cpu_counter() cpu_counter32()
#define cpu_counter() cpu_counter32()
#define cpu_counter() cpu_counter32()
uint32_t cpu_counter32(void); /* weak alias of mips3_cp0_count_read */
#define cpu_counter() cpu_counter32()
#define cpu_counter() cpu_counter32()
#define cpu_counter() cpu_counter32()
extern uint32_t (*cpu_counter32)(void);
cpu_counter32 = cpu_counter32_##fence; \
return cpu_counter32();
uint32_t (*cpu_counter32)(void) = cpu_counter32_cpuid;
rcc = cpu_counter32() - curcpu()->ci_cc.cc_delta;
return cpu_counter32();
t0 = cpu_counter32();
t1 = cpu_counter32();
cc_primary = cpu_counter32();
return cpu_counter32();
uint32_t (*cpu_counter32)(void) = nullfunc32;
#define SYSCALL_TIME() (cpu_counter32())
#define SYSCALL_TIME() (cpu_hascounter() ? cpu_counter32() : 0u)