get_cycles64       23 drivers/clocksource/timer-riscv.c 	sbi_set_timer(get_cycles64() + delta);
get_cycles64       41 drivers/clocksource/timer-riscv.c 	return get_cycles64();
get_cycles64       46 drivers/clocksource/timer-riscv.c 	return get_cycles64();