|
@@ -38,7 +38,6 @@ extern "C" {
|
|
/*
|
|
/*
|
|
* kernel object interface
|
|
* kernel object interface
|
|
*/
|
|
*/
|
|
-void rt_system_object_init(void);
|
|
|
|
struct rt_object_information *
|
|
struct rt_object_information *
|
|
rt_object_get_information(enum rt_object_class_type type);
|
|
rt_object_get_information(enum rt_object_class_type type);
|
|
int rt_object_get_length(enum rt_object_class_type type);
|
|
int rt_object_get_length(enum rt_object_class_type type);
|
|
@@ -74,7 +73,6 @@ void rt_object_put_sethook(void (*hook)(struct rt_object *object));
|
|
/*
|
|
/*
|
|
* clock & timer interface
|
|
* clock & timer interface
|
|
*/
|
|
*/
|
|
-void rt_system_tick_init(void);
|
|
|
|
rt_tick_t rt_tick_get(void);
|
|
rt_tick_t rt_tick_get(void);
|
|
void rt_tick_set(rt_tick_t tick);
|
|
void rt_tick_set(rt_tick_t tick);
|
|
void rt_tick_increase(void);
|
|
void rt_tick_increase(void);
|