|
@@ -252,7 +252,7 @@ extern void os_dump_core(void);
|
|
|
|
|
|
extern int switch_timers(int to_real);
|
|
extern int switch_timers(int to_real);
|
|
extern void idle_sleep(int secs);
|
|
extern void idle_sleep(int secs);
|
|
-extern int set_interval(int is_virtual);
|
|
|
|
|
|
+extern int set_interval(void);
|
|
extern void disable_timer(void);
|
|
extern void disable_timer(void);
|
|
extern void uml_idle_timer(void);
|
|
extern void uml_idle_timer(void);
|
|
extern unsigned long long os_nsecs(void);
|
|
extern unsigned long long os_nsecs(void);
|