blob: 871504cacb92cf27eaf7e14cf74bcd8dec7fa8b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#ifndef __CLOCK_H__
#define __CLOCK_H__
#include "kernel/kernel.h"
#include "arch_clock.h"
int boot_cpu_init_timer(unsigned freq);
int app_cpu_init_timer(unsigned freq);
int timer_int_handler(void);
int init_local_timer(unsigned freq);
/* stop the local timer ticking */
void stop_local_timer(void);
/* let the time tick again with the original settings after it was stopped */
void restart_local_timer(void);
int register_local_timer_handler(irq_handler_t handler);
u64_t ms_2_cpu_time(unsigned ms);
unsigned cpu_time_2_ms(u64_t cpu_time);
#endif /* __CLOCK_H__ */
|
