Lines Matching refs:uint64_t

102 #define CYCLES_MAX_1	((uint64_t)INT32_MAX * (uint64_t)CYC_PER_TICK)
103 #define CYCLES_MAX_2	((uint64_t)CYCLE_DIFF_MAX)
109 static uint64_t last_count;
110 static uint64_t last_ticks;
122 static void set_mtimecmp(uint64_t time)  in set_mtimecmp()
125 	*(volatile uint64_t *)get_hart_mtimecmp() = time;  in set_mtimecmp()
149 static uint64_t mtime(void)  in mtime()
152 	return *(volatile uint64_t *)MTIME_REG;  in mtime()
163 	return (((uint64_t)hi) << 32) | lo;  in mtime()
173 	uint64_t now = mtime();  in timer_isr()
174 	uint64_t dcycles = now - last_count;  in timer_isr()
182 		uint64_t next = last_count + CYC_PER_TICK;  in timer_isr()
200 	uint64_t cyc;  in sys_clock_set_timeout()
222 	uint64_t now = mtime();  in sys_clock_elapsed()
223 	uint64_t dcycles = now - last_count;  in sys_clock_elapsed()
236 uint64_t sys_clock_cycle_get_64(void)  in sys_clock_cycle_get_64()