/tmp/l4check/full_tree/trunk/l4/pkg/dde_linux/lib/src/time.c File Reference

Time and Timers. More...

#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/env/errno.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
static struct list_head	timer_list = LIST_HEAD_INIT(timer_list)
	timer list
static l4lock_t	timerlist_lock = L4LOCK_UNLOCKED
	timer list access lock
static l4thread_t	timer_tid = L4THREAD_INVALID_ID
	timer thread id
static int	_initialized = 0
	initialization flag
static void	__restart_timer_thread (void)
	Restart Timer Thread.
static void	__internal_add_timer (struct timer_list *timer)
	Adding One-Shot Timer To List Helper.
static 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.
static int	__timer_sleep (l4_timeout_t to)
	Delete One-Shot Timer (SMP sync).
Functions
static void	dde_timer_thread (void)
	Linux DDE Timer Thread.
int	l4dde_time_init ()
	Initialize Timer Thread.

---

Detailed Description

Time and Timers.

Date:

08/28/2003

Author:

Christian Helmuth <ch12@os.inf.tu-dresden.de>

Definition in file time.c.

---

Function Documentation

static void dde_timer_thread

(

void

)

[static]

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.

Todo:

priorities

Definition at line 315 of file time.c.