29,24 → 29,22 |
value->tv_sec = j / HZ; |
} |
|
extern void *int_arg_table[MAX_INT_TABLE]; |
extern void *int_func_table[MAX_INT_TABLE]; |
/*extern void *timer_func_table[MAX_TIMER_TABLE]; |
extern void *timer_arg_table[MAX_TIMER_TABLE]; |
extern int intr_count; |
|
/* |
* Generic Linux time handler. |
*/ |
void linux_timer(int no) |
{ |
intr_count++; |
|
if (int_func_table[no] != NULL) |
(*(void (*)(void *arg))int_func_table[no])(int_arg_table[no]); |
if (timer_func_table[no] != NULL) |
(*(void (*)(void *arg))timer_func_table[no])(timer_arg_table[no]); |
|
intr_count--; |
|
} |
}*/ |
|
/* |
* Generic Linux time handler. |
*/ |
void add_timer(struct timer_list *timer) |
{ |
struct timespec timeout; |