2009-11-06 10:04:15 +01:00
|
|
|
#ifndef __CLOCK_H__
|
|
|
|
#define __CLOCK_H__
|
|
|
|
|
|
|
|
#include "kernel.h"
|
2010-04-02 00:22:33 +02:00
|
|
|
#include "arch_clock.h"
|
2009-11-06 10:04:15 +01:00
|
|
|
|
|
|
|
_PROTOTYPE(int boot_cpu_init_timer, (unsigned freq));
|
|
|
|
|
|
|
|
_PROTOTYPE(int bsp_timer_int_handler, (void));
|
|
|
|
_PROTOTYPE(int ap_timer_int_handler, (void));
|
|
|
|
|
|
|
|
_PROTOTYPE(int arch_init_local_timer, (unsigned freq));
|
|
|
|
_PROTOTYPE(void arch_stop_local_timer, (void));
|
|
|
|
_PROTOTYPE(int arch_register_local_timer_handler, (irq_handler_t handler));
|
|
|
|
|
2010-05-25 10:06:14 +02:00
|
|
|
_PROTOTYPE( u64_t ms_2_cpu_time, (unsigned ms));
|
|
|
|
|
2009-11-06 10:04:15 +01:00
|
|
|
#endif /* __CLOCK_H__ */
|