/shark/branches/xen/ports/first/modules/fedfstar.c |
37,8 → 37,8 |
|
#include "ll/i386/64bit.h" |
#include "fedfstar.h" |
#include <ll/stdio.h> |
#include <ll/string.h> |
#include <arch/stdio.h> |
#include <arch/string.h> |
#include <kernel/model.h> |
#include <kernel/descr.h> |
#include <kernel/var.h> |
/shark/branches/xen/ports/first/modules/tdstar.c |
36,8 → 36,8 |
*/ |
#include "fsf.h" |
#include "tdstar.h" |
#include <ll/stdio.h> |
#include <ll/string.h> |
#include <arch/stdio.h> |
#include <arch/string.h> |
#include <kernel/model.h> |
#include <kernel/descr.h> |
#include <kernel/var.h> |
/shark/branches/xen/ports/first/modules/pistar.c |
54,8 → 54,8 |
|
|
#include <ll/ll.h> |
#include <ll/string.h> |
#include <ll/stdio.h> |
#include <arch/string.h> |
#include <arch/stdio.h> |
#include <kernel/const.h> |
#include <sys/types.h> |
#include <kernel/descr.h> |
/shark/branches/xen/ports/first/modules/edfstar.c |
36,8 → 36,8 |
*/ |
|
#include "edfstar.h" |
#include <ll/stdio.h> |
#include <ll/string.h> |
#include <arch/stdio.h> |
#include <arch/string.h> |
#include <kernel/model.h> |
#include <kernel/descr.h> |
#include <kernel/var.h> |
/shark/branches/xen/ports/first/modules/rmstar.c |
36,8 → 36,8 |
*/ |
|
#include "rmstar.h" |
#include <ll/stdio.h> |
#include <ll/string.h> |
#include <arch/stdio.h> |
#include <arch/string.h> |
#include <kernel/model.h> |
#include <kernel/descr.h> |
#include <kernel/var.h> |