#include <l4/sys/types.h>
#include <l4/sys/ipc.h>
#include <l4/thread/thread.h>
#include <l4/lock/lock.h>
#include <l4/util/util.h>
#include <l4/dde_linux/dde.h>
#include <linux/timer.h>
#include <linux/sched.h>
#include <linux/list.h>
#include <asm/softirq.h>
#include "internal.h"
#include "__config.h"
Go to the source code of this file.
Linux Timer Handling | |
| This is from kernel/timer.c | |
| void | __restart_timer_thread (void) |
| Restart Timer Thread. | |
| void | __internal_add_timer (struct timer_list *timer) |
| Adding One-Shot Timer To List Helper. | |
| int | __internal_detach_timer (struct timer_list *timer) |
| Removing One-Shot Timer From List Helper. | |
| void | add_timer (struct timer_list *timer) |
| Add One-Shot Timer. | |
| int | mod_timer (struct timer_list *timer, unsigned long expires) |
| Modify One-Shot Timer. | |
| int | del_timer (struct timer_list *timer) |
| Delete One-Shot Timer. | |
| int | __timer_sleep (l4_timeout_t to) |
| Timer Sleep Implementation. | |
| list_head | timer_list = LIST_HEAD_INIT(timer_list) |
| timer list | |
| l4lock_t | timerlist_lock = L4LOCK_UNLOCKED |
| timer list access lock | |
| l4thread_t | timer_tid = L4THREAD_INVALID_ID |
| timer thread id | |
| int | _initialized = 0 |
| initialization flag | |
Functions | |
| void | dde_timer_thread (void) |
| Linux DDE Timer Thread. | |
| int | l4dde_time_init () |
| Initialize Timer Thread. | |
Definition in file time.c.
|
|
Linux DDE Timer Thread. We sleep for the most time: until next timer or L4_IPC_NEVER. If timer expires release lock and do timer function.
Definition at line 314 of file time.c. References __internal_detach_timer(), __timer_sleep(), DEBUG_MSG, DEBUG_TIMER, l4dde_process_add_worker(), timer_list, timer_tid, and timerlist_lock. Referenced by l4dde_time_init(). |