/tmp/l4check/full_tree/trunk/l4/pkg/l4io/server/src/jiffies.c File Reference

L4Env l4io I/O Server jiffies Thread. More...

#include <l4/sys/types.h>
#include <l4/sys/kernel.h>
#include <l4/sys/syscalls.h>
#include <l4/sys/ipc.h>
#include <l4/sigma0/kip.h>
#include <l4/util/util.h>
#include <l4/rmgr/librmgr.h>
#include <l4/env/errno.h>
#include <l4/l4rm/l4rm.h>
#include <l4/thread/thread.h>
#include "io.h"
#include "jiffies.h"
#include "__config.h"
#include "__macros.h"

Go to the source code of this file.

Functions
static int	__map_kernel_info_page (void)
	Map kernel info page.
static void	jiffies_thread (void *data)
	Jiffies thread loop.
int	io_jiffies_init ()
	Jiffies thread initialization.
Variables
static unsigned long long volatile *	kclock
	kernel clock reference

---

Detailed Description

L4Env l4io I/O Server jiffies Thread.

Date:

05/28/2003

Author:

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

Definition in file jiffies.c.

---

Function Documentation

static int __map_kernel_info_page

(

void

)

[static]

Map kernel info page.

Returns:

0 on success, negative error code otherwise

Map L4 kernel info page (L4 kernel timer as time base).

Definition at line 47 of file jiffies.c.