Changeset 1558d85 in mainline for kernel

Timestamp:

2016-03-29T19:36:43Z (9 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

83e69b9

Parents:

4c5deac

git-author:

Manuele Conti <conti.manuele@…> (2016-03-29 19:36:43)

git-committer:

Jakub Jermar <jakub@…> (2016-03-29 19:36:43)

Message:

Remove duplicate includes

Location:

kernel

Files:

• arch/amd64/src/interrupt.c (modified) (1 diff)
• arch/amd64/src/syscall.c (modified) (1 diff)
• arch/ia32/src/drivers/i8254.c (modified) (1 diff)
• generic/include/mm/as.h (modified) (1 diff)
• generic/src/console/kconsole.c (modified) (1 diff)
• generic/src/debug/symtab.c (modified) (1 diff)
• generic/src/printf/vprintf.c (modified) (1 diff)
• generic/src/proc/scheduler.c (modified) (1 diff)

kernel/arch/amd64/src/interrupt.c

@@ -45 +45 @@
 #include <mm/as.h>
 #include <arch.h>
-#include <arch/asm.h>
 #include <proc/scheduler.h>
 #include <proc/thread.h>

kernel/arch/amd64/src/syscall.c

@@ -41 +41 @@
 
 #include <print.h>
-#include <arch/cpu.h>
 
 extern void syscall_entry(void);

kernel/arch/ia32/src/drivers/i8254.c

@@ -50 +50 @@
 #include <arch/cpuid.h>
 #include <arch.h>
-#include <time/delay.h>
 #include <ddi/irq.h>
 #include <ddi/device.h>

kernel/generic/include/mm/as.h

@@ -42 +42 @@
 #include <arch/mm/asid.h>
 #include <arch/istate.h>
-#include <typedefs.h>
 #include <synch/spinlock.h>
 #include <synch/mutex.h>

kernel/generic/src/console/kconsole.c

@@ -58 +58 @@
 #include <errno.h>
 #include <putchar.h>
-#include <str.h>
 #include <mm/slab.h>
 

kernel/generic/src/debug/symtab.c

@@ -41 +41 @@
 #include <print.h>
 #include <typedefs.h>
-#include <typedefs.h>
 #include <errno.h>
 #include <console/prompt.h>

kernel/generic/src/printf/vprintf.c

@@ -38 +38 @@
 #include <synch/spinlock.h>
 #include <arch/asm.h>
-#include <typedefs.h>
 #include <typedefs.h>
 #include <str.h>

kernel/generic/src/proc/scheduler.c

@@ -66 +66 @@
 #include <debug.h>
 #include <stacktrace.h>
-#include <cpu.h>
 
 static void scheduler_separated_stack(void);