Changeset 2cc569a3 in mainline for kernel/arch/ia32/src

Timestamp:

2019-07-18T04:27:39Z (6 years ago)

Author:

Matthieu Riolo <matthieu.riolo@…>

Children:

40043e8

Parents:

a949f4a

Message:

Removing inclusion of halt.h

Several files used to include halt.h even though
this was not necessary. The inclusion has therefore
been removed

Location:

kernel/arch/ia32/src

Files:

• interrupt.c (modified) (1 diff)
• mm/page.c (modified) (1 diff)
• smp/mps.c (modified) (1 diff)
• smp/smp.c (modified) (1 diff)

kernel/arch/ia32/src/interrupt.c

@@ -41 +41 @@
 #include <genarch/drivers/i8259/i8259.h>
 #include <genarch/pic/pic_ops.h>
-#include <halt.h>
 #include <cpu.h>
 #include <arch/asm.h>

kernel/arch/ia32/src/mm/page.c

@@ -42 +42 @@
 #include <align.h>
 #include <config.h>
-#include <halt.h>
 #include <arch/interrupt.h>
 #include <arch/asm.h>

kernel/arch/ia32/src/smp/mps.c

@@ -41 +41 @@
 #include <arch/smp/smp.h>
 #include <assert.h>
-#include <halt.h>
 #include <typedefs.h>
 #include <cpu.h>

kernel/arch/ia32/src/smp/smp.c

@@ -45 +45 @@
 #include <synch/waitq.h>
 #include <arch/pm.h>
-#include <halt.h>
 #include <panic.h>
 #include <arch/asm.h>