Changeset 83dab11 in mainline for kernel/arch/ia32/src

Timestamp:

2017-06-01T21:22:44Z (8 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

fb864d65

Parents:

44a7ee5

Message:

Replace usage of typedefs.h with includes of more specific, standard headers, where applicable.

Location:

kernel/arch/ia32/src

Files:

• cpu/cpu.c (modified) (1 diff)
• ddi/ddi.c (modified) (1 diff)
• debug/stacktrace.c (modified) (1 diff)
• drivers/i8254.c (modified) (1 diff)
• drivers/i8259.c (modified) (1 diff)
• ia32.c (modified) (1 diff)
• proc/task.c (modified) (1 diff)
• syscall.c (modified) (1 diff)
• userspace.c (modified) (1 diff)

kernel/arch/ia32/src/cpu/cpu.c

@@ -38 +38 @@
 
 #include <arch.h>
-#include <typedefs.h>
+#include <stdint.h>
 #include <print.h>
 #include <fpu_context.h>

kernel/arch/ia32/src/ddi/ddi.c

@@ -36 +36 @@
 #include <arch/ddi/ddi.h>
 #include <proc/task.h>
-#include <typedefs.h>
+#include <stddef.h>
 #include <adt/bitmap.h>
 #include <mm/slab.h>

kernel/arch/ia32/src/debug/stacktrace.c

@@ -34 +34 @@
 
 #include <stacktrace.h>
+#include <stdbool.h>
+#include <stdint.h>
 #include <syscall/copy.h>
-#include <typedefs.h>
 
 #define FRAME_OFFSET_FP_PREV  0

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

@@ -37 +37 @@
  */
 
-#include <typedefs.h>
+#include <stdint.h>
 #include <time/clock.h>
 #include <time/delay.h>

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

@@ -39 +39 @@
 #include <arch/drivers/i8259.h>
 #include <cpu.h>
-#include <typedefs.h>
+#include <stdint.h>
 #include <arch/asm.h>
 #include <arch.h>

kernel/arch/ia32/src/ia32.c

@@ -37 +37 @@
 #include <arch.h>
 #include <arch/arch.h>
-#include <typedefs.h>
+#include <stdint.h>
 #include <errno.h>
 #include <mem.h>

kernel/arch/ia32/src/proc/task.c

@@ -34 +34 @@
 
 #include <proc/task.h>
-#include <typedefs.h>
+#include <stddef.h>
 #include <adt/bitmap.h>
 #include <mm/slab.h>

kernel/arch/ia32/src/syscall.c

@@ -36 +36 @@
 #include <arch/cpu.h>
 #include <arch/asm.h>
-#include <typedefs.h>
 #include <arch/pm.h>
+#include <stdint.h>
 
 #ifndef PROCESSOR_i486

kernel/arch/ia32/src/userspace.c

@@ -35 +35 @@
 #include <userspace.h>
 #include <arch/pm.h>
-#include <typedefs.h>
+#include <stdint.h>
 #include <arch.h>
 #include <abi/proc/uarg.h>