DDE - The L4 Device Driver Environment: init.c Source File

00001 #include "local.h"
00002 
00003 #include <l4/dde/linux26/dde26.h>
00004 #include <l4/dde/dde.h>
00005 
00006 #define DEBUG_PCI(msg, ...)     ddekit_printf( "\033[33m"msg"\033[0m\n", ##__VA_ARGS__)
00007 
00008 /* Didn't know where to put this. */
00009 unsigned long __per_cpu_offset[NR_CPUS];
00010 
00011 extern void driver_init(void);
00012 extern int classes_init(void);
00013 
00014 void __init __attribute__((used)) l4dde26_init(void)
00015 {
00016         /* first, initialize DDEKit */
00017         ddekit_init();
00018 
00019         l4dde26_kmalloc_init();
00020 
00021         /* Init Linux driver framework before trying to add PCI devs to the bus */
00022         driver_init();
00023 
00024         printk("Initialized DDELinux 2.6\n");
00025 }
00026 
00027 void l4dde26_do_initcalls(void)
00028 {
00029         /* finally, let DDEKit perform all the initcalls */
00030         ddekit_do_initcalls();
00031 }
00032 
00033 dde_initcall(l4dde26_init);