Subversion Repositories c0or1k

/*
 * Initialise system call offsets and utcb reference.
 *
 * Copyright (C) 2007-2009 Bahadir Bilgehan Balban
 */
#include <l4lib/kip.h>
#include L4LIB_INC_ARCH(syslib.h)
#include L4LIB_INC_ARCH(utcb.h)
#include <l4lib/ipcdefs.h>
#include <l4/macros.h>
#include INC_GLUE(memlayout.h)
#include <stdio.h>
 
__l4_ipc_t __l4_ipc = 0;
__l4_map_t __l4_map = 0;
__l4_unmap_t __l4_unmap = 0;
__l4_getid_t __l4_getid = 0;
__l4_thread_switch_t __l4_thread_switch = 0;
__l4_thread_control_t __l4_thread_control = 0;
__l4_ipc_control_t __l4_ipc_control = 0;
__l4_irq_control_t __l4_irq_control = 0;
__l4_exchange_registers_t __l4_exchange_registers = 0;
__l4_container_control_t __l4_container_control = 0;
__l4_capability_control_t __l4_capability_control = 0;
__l4_time_t __l4_time = 0;
__l4_mutex_control_t __l4_mutex_control = 0;
__l4_cache_control_t __l4_cache_control = 0;
 
struct kip *kip;
 
l4id_t pagerid;
 
/*
 * Reference to private UTCB of this thread.
 * Used only for pushing/reading ipc message registers.
 */
struct utcb **kip_utcb_ref;
 
 
void __l4_init(void)
{
	/* Kernel interface page */
	kip = l4_kernel_interface(0, 0, 0);
 
	/* Reference to utcb field of KIP */
	kip_utcb_ref = (struct utcb **)&kip->utcb;
 
	__l4_ipc =		(__l4_ipc_t)kip->ipc;
	__l4_map =		(__l4_map_t)kip->map;
	__l4_unmap =		(__l4_unmap_t)kip->unmap;
	__l4_getid =		(__l4_getid_t)kip->getid;
	__l4_thread_switch =	(__l4_thread_switch_t)kip->thread_switch;
	__l4_thread_control=	(__l4_thread_control_t)kip->thread_control;
	__l4_ipc_control=	(__l4_ipc_control_t)kip->ipc_control;
	__l4_irq_control=	(__l4_irq_control_t)kip->irq_control;
	__l4_exchange_registers =
			(__l4_exchange_registers_t)kip->exchange_registers;
	__l4_capability_control =
			(__l4_capability_control_t)kip->capability_control;
	__l4_container_control =
			(__l4_container_control_t)kip->container_control;
	__l4_time =		(__l4_time_t)kip->time;
	__l4_mutex_control =	(__l4_mutex_control_t)kip->mutex_control;
	__l4_cache_control =	(__l4_cache_control_t)kip->cache_control;
}