Context Navigation

← Previous Changeset
Next Changeset →

Changeset 83dab11 in mainline

Timestamp:

2017-06-01T21:22:44Z (7 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.

Files:

: 146 edited

abi/include/abi/elf.h (modified) (1 diff)
kernel/arch/abs32le/include/arch/fpu_context.h (modified) (1 diff)
kernel/arch/abs32le/include/arch/interrupt.h (modified) (1 diff)
kernel/arch/abs32le/include/arch/istate.h (modified) (1 diff)
kernel/arch/abs32le/include/arch/mm/asid.h (modified) (1 diff)
kernel/arch/abs32le/include/arch/mm/frame.h (modified) (1 diff)
kernel/arch/abs32le/include/arch/proc/task.h (modified) (1 diff)
kernel/arch/abs32le/include/arch/proc/thread.h (modified) (1 diff)
kernel/arch/abs32le/src/cpu/cpu.c (modified) (2 diffs)
kernel/arch/abs32le/src/debug/stacktrace.c (modified) (1 diff)
kernel/arch/abs32le/src/mm/page.c (modified) (1 diff)
kernel/arch/abs32le/src/userspace.c (modified) (1 diff)
kernel/arch/amd64/include/arch/atomic.h (modified) (1 diff)
kernel/arch/amd64/include/arch/cpuid.h (modified) (1 diff)
kernel/arch/amd64/include/arch/interrupt.h (modified) (1 diff)
kernel/arch/amd64/include/arch/mm/frame.h (modified) (1 diff)
kernel/arch/amd64/include/arch/proc/task.h (modified) (1 diff)
kernel/arch/amd64/include/arch/proc/thread.h (modified) (1 diff)
kernel/arch/amd64/include/arch/vreg.h (modified) (1 diff)
kernel/arch/amd64/src/amd64.c (modified) (1 diff)
kernel/arch/amd64/src/cpu/cpu.c (modified) (1 diff)
kernel/arch/amd64/src/ddi/ddi.c (modified) (2 diffs)
kernel/arch/amd64/src/kseg.c (modified) (1 diff)
kernel/arch/amd64/src/mm/km.c (modified) (1 diff)
kernel/arch/amd64/src/proc/task.c (modified) (1 diff)
kernel/arch/amd64/src/userspace.c (modified) (1 diff)
kernel/arch/arm32/include/arch/arch.h (modified) (1 diff)
kernel/arch/arm32/include/arch/cp15.h (modified) (1 diff)
kernel/arch/arm32/include/arch/cpu.h (modified) (1 diff)
kernel/arch/arm32/include/arch/fpu_context.h (modified) (1 diff)
kernel/arch/arm32/include/arch/mm/asid.h (modified) (1 diff)
kernel/arch/arm32/include/arch/mm/frame.h (modified) (1 diff)
kernel/arch/arm32/include/arch/mm/page_fault.h (modified) (1 diff)
kernel/arch/ia32/include/arch/arch.h (modified) (1 diff)
kernel/arch/ia32/include/arch/boot/memmap.h (modified) (1 diff)
kernel/arch/ia32/include/arch/cpuid.h (modified) (1 diff)
kernel/arch/ia32/include/arch/fpu_context.h (modified) (1 diff)
kernel/arch/ia32/include/arch/interrupt.h (modified) (1 diff)
kernel/arch/ia32/include/arch/mm/asid.h (modified) (1 diff)
kernel/arch/ia32/include/arch/mm/frame.h (modified) (1 diff)
kernel/arch/ia32/include/arch/mm/page.h (modified) (1 diff)
kernel/arch/ia32/include/arch/proc/task.h (modified) (1 diff)
kernel/arch/ia32/include/arch/proc/thread.h (modified) (1 diff)
kernel/arch/ia32/include/arch/smp/apic.h (modified) (1 diff)
kernel/arch/ia32/include/arch/smp/mps.h (modified) (1 diff)
kernel/arch/ia32/include/arch/smp/smp.h (modified) (1 diff)
kernel/arch/ia32/include/arch/vreg.h (modified) (1 diff)
kernel/arch/ia32/src/cpu/cpu.c (modified) (1 diff)
kernel/arch/ia32/src/ddi/ddi.c (modified) (1 diff)
kernel/arch/ia32/src/debug/stacktrace.c (modified) (1 diff)
kernel/arch/ia32/src/drivers/i8254.c (modified) (1 diff)
kernel/arch/ia32/src/drivers/i8259.c (modified) (1 diff)
kernel/arch/ia32/src/ia32.c (modified) (1 diff)
kernel/arch/ia32/src/proc/task.c (modified) (1 diff)
kernel/arch/ia32/src/syscall.c (modified) (1 diff)
kernel/arch/ia32/src/userspace.c (modified) (1 diff)
kernel/arch/ia64/include/arch/cpu.h (modified) (1 diff)
kernel/arch/ia64/include/arch/fpu_context.h (modified) (1 diff)
kernel/arch/ia64/include/arch/interrupt.h (modified) (1 diff)
kernel/arch/ia64/include/arch/mm/asid.h (modified) (1 diff)
kernel/arch/ia64/src/debug/stacktrace.c (modified) (1 diff)
kernel/arch/ia64/src/drivers/ski.c (modified) (1 diff)
kernel/arch/mips32/include/arch/arch.h (modified) (1 diff)
kernel/arch/mips32/include/arch/context.h (modified) (1 diff)
kernel/arch/mips32/include/arch/cp0.h (modified) (1 diff)
kernel/arch/mips32/include/arch/cpu.h (modified) (1 diff)
kernel/arch/mips32/include/arch/exception.h (modified) (1 diff)
kernel/arch/mips32/include/arch/interrupt.h (modified) (1 diff)
kernel/arch/mips32/include/arch/mm/asid.h (modified) (1 diff)
kernel/arch/mips32/include/arch/smp/dorder.h (modified) (1 diff)
kernel/arch/mips32/src/exception.c (modified) (1 diff)
kernel/arch/mips32/src/smp/dorder.c (modified) (1 diff)
kernel/arch/ppc32/include/arch/boot/boot.h (modified) (1 diff)
kernel/arch/ppc32/include/arch/cpu.h (modified) (1 diff)
kernel/arch/ppc32/include/arch/mm/asid.h (modified) (1 diff)
kernel/arch/ppc32/include/arch/mm/frame.h (modified) (1 diff)
kernel/arch/ppc32/src/debug/stacktrace.c (modified) (1 diff)
kernel/arch/ppc32/src/interrupt.c (modified) (1 diff)
kernel/arch/riscv64/include/arch/boot/boot.h (modified) (1 diff)
kernel/arch/riscv64/include/arch/fpu_context.h (modified) (1 diff)
kernel/arch/riscv64/include/arch/mm/asid.h (modified) (1 diff)
kernel/arch/riscv64/include/arch/mm/frame.h (modified) (1 diff)
kernel/arch/riscv64/include/arch/mm/page.h (modified) (1 diff)
kernel/arch/riscv64/include/arch/proc/task.h (modified) (1 diff)
kernel/arch/riscv64/src/cpu/cpu.c (modified) (2 diffs)
kernel/arch/riscv64/src/debug/stacktrace.c (modified) (1 diff)
kernel/arch/riscv64/src/mm/km.c (modified) (1 diff)
kernel/arch/riscv64/src/mm/page.c (modified) (1 diff)
kernel/arch/riscv64/src/riscv64.c (modified) (1 diff)
kernel/arch/riscv64/src/userspace.c (modified) (1 diff)
kernel/arch/sparc64/include/arch/cpu.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/drivers/kbd.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/drivers/pci.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/drivers/scr.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/fpu_context.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/interrupt.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/mm/asid.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/mm/sun4u/mmu.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/mm/sun4u/tte.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/mm/sun4v/tte.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/proc/thread.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/register.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/smp/sun4v/smp.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/sun4u/cpu.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/sun4v/hypercall.h (modified) (2 diffs)
kernel/arch/sparc64/include/arch/sun4v/ipi.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/sun4v/md.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/sun4v/register.h (modified) (1 diff)
kernel/arch/sparc64/include/arch/trap/trap_table.h (modified) (1 diff)
kernel/arch/sparc64/src/console.c (modified) (1 diff)
kernel/arch/sparc64/src/debug/stacktrace.c (modified) (1 diff)
kernel/arch/sparc64/src/drivers/scr.c (modified) (1 diff)
kernel/arch/sparc64/src/smp/sun4u/smp.c (modified) (1 diff)
kernel/arch/sparc64/src/smp/sun4v/smp.c (modified) (1 diff)
kernel/arch/sparc64/src/trap/interrupt.c (modified) (1 diff)
kernel/arch/sparc64/src/trap/sun4u/interrupt.c (modified) (1 diff)
kernel/arch/sparc64/src/trap/sun4v/interrupt.c (modified) (1 diff)
kernel/generic/include/adt/avl.h (modified) (1 diff)
kernel/generic/include/adt/bitmap.h (modified) (1 diff)
kernel/generic/include/adt/btree.h (modified) (2 diffs)
kernel/generic/include/adt/list.h (modified) (1 diff)
kernel/generic/include/byteorder.h (modified) (1 diff)
kernel/generic/include/console/chardev.h (modified) (1 diff)
kernel/generic/include/context.h (modified) (1 diff)
kernel/generic/include/func.h (modified) (1 diff)
kernel/generic/include/gsort.h (modified) (1 diff)
kernel/generic/include/lib/elf.h (modified) (1 diff)
kernel/generic/include/lib/elf_load.h (modified) (1 diff)
kernel/generic/include/lib/memfnc.h (modified) (1 diff)
kernel/generic/include/lib/rd.h (modified) (1 diff)
kernel/generic/include/log.h (modified) (1 diff)
kernel/generic/include/macros.h (modified) (1 diff)
kernel/generic/include/mem.h (modified) (1 diff)
kernel/generic/include/mm/reserve.h (modified) (1 diff)
kernel/generic/include/print.h (modified) (1 diff)
kernel/generic/include/printf/printf_core.h (modified) (1 diff)
kernel/generic/include/proc/scheduler.h (modified) (1 diff)
kernel/generic/include/stdint.h (modified) (1 diff)
kernel/generic/include/str.h (modified) (1 diff)
kernel/generic/include/synch/condvar.h (modified) (1 diff)
kernel/generic/include/synch/mutex.h (modified) (1 diff)
kernel/generic/include/synch/semaphore.h (modified) (1 diff)
kernel/generic/include/synch/spinlock.h (modified) (1 diff)
kernel/generic/include/syscall/copy.h (modified) (1 diff)
kernel/generic/include/time/delay.h (modified) (1 diff)
kernel/generic/include/time/timeout.h (modified) (1 diff)

Legend:

: Unmodified
: Added
: Removed

abi/include/abi/elf.h

r44a7ee5	r83dab11
35	35	#ifndef ABI_ELF_H_
36	36	#define ABI_ELF_H_
	37
	38	#include <stdint.h>
37	39
38	40	/**

kernel/arch/abs32le/include/arch/fpu_context.h

r44a7ee5	r83dab11
36	36	#define KERN_abs32le_FPU_CONTEXT_H_
37	37
38		~~#include <typedefs.h>~~
39
40	38	#define FPU_CONTEXT_ALIGN 16
41	39

kernel/arch/abs32le/include/arch/interrupt.h

r44a7ee5	r83dab11
36	36	#define KERN_abs32le_INTERRUPT_H_
37	37
38		~~#include <typedefs.h>~~
39	38	#include <arch/istate.h>
40	39

kernel/arch/abs32le/include/arch/istate.h

r44a7ee5	r83dab11
37	37
38	38	#include <trace.h>
	39	#include <typedefs.h>
39	40
40	41	#ifdef KERNEL

kernel/arch/abs32le/include/arch/mm/asid.h

r44a7ee5	r83dab11
34	34	#define KERN_abs32le_ASID_H_
35	35
36		#include <~~typedefs~~.h>
	36	#include <stdint.h>
37	37
38	38	typedef uint32_t asid_t;

kernel/arch/abs32le/include/arch/mm/frame.h

r44a7ee5	r83dab11
41	41	#define FRAME_LOWPRIO 0
42	42
43		~~#include <typedefs.h>~~
44
45	43	extern void frame_low_arch_init(void);
46	44	extern void frame_high_arch_init(void);

kernel/arch/abs32le/include/arch/proc/task.h

r44a7ee5	r83dab11
36	36	#define KERN_abs32le_TASK_H_
37	37
38		~~#include <typedefs.h>~~
39	38	#include <adt/bitmap.h>
40	39

kernel/arch/abs32le/include/arch/proc/thread.h

r44a7ee5	r83dab11
36	36	#define KERN_abs32le_THREAD_H_
37	37
38		~~#include <typedefs.h>~~
39
40	38	typedef struct {
41	39	} thread_arch_t;

kernel/arch/abs32le/src/cpu/cpu.c

r44a7ee5	r83dab11
36	36	#include <cpu.h>
37	37	#include <arch.h>
38		~~#include <typedefs.h>~~
39	38	#include <print.h>
40	39	#include <fpu_context.h>
…	…
57	56	}
58	57
59		void cpu_print_report(cpu_t* cpu)
	58	void cpu_print_report(cpu_t *cpu)
60	59	{
61	60	}

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

-              r44a7ee5
+              r83dab11
 #include <stacktrace.h>
+#include <stdbool.h>
 #include <syscall/copy.h>
-#include <typedefs.h>
 bool kernel_stack_trace_context_validate(stack_trace_context_t *ctx)

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

r44a7ee5	r83dab11
39	39	#include <mm/page.h>
40	40	#include <mm/as.h>
41		~~#include <typedefs.h>~~
42	41	#include <align.h>
43	42	#include <config.h>

kernel/arch/abs32le/src/userspace.c

r44a7ee5	r83dab11
34	34
35	35	#include <userspace.h>
36		#include <~~typedefs~~.h>
	36	#include <stdbool.h>
37	37	#include <arch.h>
38	38	#include <abi/proc/uarg.h>

kernel/arch/amd64/include/arch/atomic.h

r44a7ee5	r83dab11
37	37	#define KERN_amd64_ATOMIC_H_
38	38
39		~~#include <typedefs.h>~~
40	39	#include <arch/barrier.h>
41	40	#include <preemption.h>

kernel/arch/amd64/include/arch/cpuid.h

r44a7ee5	r83dab11
48	48	#ifndef __ASM__
49	49
50		#include <~~typedefs~~.h>
	50	#include <stdint.h>
51	51
52	52	typedef struct {

kernel/arch/amd64/include/arch/interrupt.h

-              r44a7ee5
+              r83dab11
 #define KERN_amd64_INTERRUPT_H_
-#include <typedefs.h>
 #include <arch/istate.h>
 #include <arch/pm.h>
+#include <stdint.h>
 #define IVT_ITEMS  IDT_ITEMS

kernel/arch/amd64/include/arch/mm/frame.h

r44a7ee5	r83dab11
43	43	#ifndef __ASM__
44	44
45		~~#include <typedefs.h>~~
46
47	45	extern void frame_low_arch_init(void);
48	46	extern void frame_high_arch_init(void);

kernel/arch/amd64/include/arch/proc/task.h

-              r44a7ee5
+              r83dab11
 #define KERN_amd64_TASK_H_
-#include <typedefs.h>
 #include <adt/bitmap.h>
+#include <stddef.h>
 typedef struct {

kernel/arch/amd64/include/arch/proc/thread.h

r44a7ee5	r83dab11
36	36	#define KERN_amd64_THREAD_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	typedef struct {

kernel/arch/amd64/include/arch/vreg.h

r44a7ee5	r83dab11
40	40	#ifndef __ASM__
41	41
42		#include <~~typedefs~~.h>
	42	#include <stdint.h>
43	43
44	44	extern uint64_t *vreg_ptr;

kernel/arch/amd64/src/amd64.c

r44a7ee5	r83dab11
35	35	#include <arch.h>
36	36	#include <arch/arch.h>
37		#include <~~typedefs~~.h>
	37	#include <stdint.h>
38	38	#include <errno.h>
39	39	#include <mem.h>

kernel/arch/amd64/src/cpu/cpu.c

r44a7ee5	r83dab11
39	39
40	40	#include <arch.h>
41		~~#include <typedefs.h>~~
42	41	#include <print.h>
43	42	#include <fpu_context.h>

kernel/arch/amd64/src/ddi/ddi.c

-              r44a7ee5
+              r83dab11
 #include <arch/ddi/ddi.h>
 #include <proc/task.h>
-#include <typedefs.h>
 #include <adt/bitmap.h>
 #include <mm/slab.h>
 …
 #include <arch.h>
 #include <align.h>
+#include <stdbool.h>
 /** Install I/O Permission bitmap.

kernel/arch/amd64/src/kseg.c

r44a7ee5	r83dab11
34	34
35	35	#include <arch/kseg.h>
36		~~#include <typedefs.h>~~
37	36	#include <arch/asm.h>
38	37	#include <panic.h>

kernel/arch/amd64/src/mm/km.c

-              r44a7ee5
+              r83dab11
 #include <mm/km.h>
 #include <config.h>
-#include <typedefs.h>
 #include <macros.h>
+#include <stdbool.h>
 void km_identity_arch_init(void)

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

r44a7ee5	r83dab11
34	34
35	35	#include <proc/task.h>
36		#include <~~typedefs~~.h>
	36	#include <stddef.h>
37	37	#include <adt/bitmap.h>
38	38	#include <mm/slab.h>

kernel/arch/amd64/src/userspace.c

r44a7ee5	r83dab11
36	36	#include <arch/cpu.h>
37	37	#include <arch/pm.h>
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39	#include <arch.h>
40	40	#include <abi/proc/uarg.h>

kernel/arch/arm32/include/arch/arch.h

r44a7ee5	r83dab11
42	42	#define BOOTINFO_TASK_NAME_BUFLEN 32
43	43
44		#include <~~typedefs~~.h>
	44	#include <stddef.h>
45	45
46	46	typedef struct {

kernel/arch/arm32/include/arch/cp15.h

-              r44a7ee5
+              r83dab11
 #define KERN_arm32_CP15_H_
-#if defined(KERNEL) || defined(BOOT)
-#include <typedefs.h>
-#else
 #include <stdint.h>
-#endif
 /** See ARM Architecture reference manual ch. B3.17.1 page B3-1456

kernel/arch/arm32/include/arch/cpu.h

-              r44a7ee5
+              r83dab11
 #define KERN_arm32_CPU_H_
-#include <typedefs.h>
 #include <arch/asm.h>
+#include <stdint.h>
 enum {

kernel/arch/arm32/include/arch/fpu_context.h

r44a7ee5	r83dab11
38	38
39	39	#include <stdbool.h>
40		#include <~~typedefs~~.h>
	40	#include <stdint.h>
41	41
42	42	#define FPU_CONTEXT_ALIGN 8

kernel/arch/arm32/include/arch/mm/asid.h

r44a7ee5	r83dab11
39	39	#define KERN_arm32_ASID_H_
40	40
41		#include <~~typedefs~~.h>
	41	#include <stdint.h>
42	42
43	43	#define ASID_MAX_ARCH 3 /* minimal required number */

kernel/arch/arm32/include/arch/mm/frame.h

r44a7ee5	r83dab11
44	44	#ifndef __ASM__
45	45
46		~~#include <typedefs.h>~~
47
48	46	#define BOOT_PAGE_TABLE_SIZE 0x4000
49	47

kernel/arch/arm32/include/arch/mm/page_fault.h

r44a7ee5	r83dab11
37	37	#define KERN_arm32_PAGE_FAULT_H_
38	38
39		#include <~~typedefs~~.h>
	39	#include <stdint.h>
40	40
41	41

kernel/arch/ia32/include/arch/arch.h

r44a7ee5	r83dab11
36	36	#define KERN_ia32_ARCH_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	extern void ia32_pre_main(uint32_t, void *);

kernel/arch/ia32/include/arch/boot/memmap.h

r44a7ee5	r83dab11
63	63	#ifndef __ASM__
64	64
65		#include <~~typedefs~~.h>
	65	#include <stdint.h>
66	66
67	67	extern e820memmap_t e820table[MEMMAP_E820_MAX_RECORDS];

kernel/arch/ia32/include/arch/cpuid.h

-              r44a7ee5
+              r83dab11
 #ifndef __ASM__
-#include <typedefs.h>
 #include <arch/cpu.h>
+#include <stdint.h>
 typedef struct {

kernel/arch/ia32/include/arch/fpu_context.h

r44a7ee5	r83dab11
36	36	#define KERN_ia32_FPU_CONTEXT_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	#define FPU_CONTEXT_ALIGN 16

kernel/arch/ia32/include/arch/interrupt.h

-              r44a7ee5
+              r83dab11
 #define KERN_ia32_INTERRUPT_H_
-#include <typedefs.h>
 #include <arch/istate.h>
 #include <arch/pm.h>
+#include <stdint.h>
 #define IVT_ITEMS  IDT_ITEMS

kernel/arch/ia32/include/arch/mm/asid.h

r44a7ee5	r83dab11
43	43	#define KERN_ia32_ASID_H_
44	44
45		#include <~~typedefs~~.h>
	45	#include <stdint.h>
46	46
47	47	typedef int32_t asid_t;

kernel/arch/ia32/include/arch/mm/frame.h

r44a7ee5	r83dab11
43	43	#ifndef __ASM__
44	44
45		~~#include <typedefs.h>~~
46
47	45	extern void frame_low_arch_init(void);
48	46	extern void frame_high_arch_init(void);

kernel/arch/ia32/include/arch/mm/page.h

r44a7ee5	r83dab11
146	146	#include <mm/mm.h>
147	147	#include <arch/interrupt.h>
148		#include <~~typedefs~~.h>
	148	#include <stddef.h>
149	149
150	150	/* Page fault error codes. */

kernel/arch/ia32/include/arch/proc/task.h

r44a7ee5	r83dab11
36	36	#define KERN_ia32_TASK_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stddef.h>
39	39	#include <adt/bitmap.h>
40	40

kernel/arch/ia32/include/arch/proc/thread.h

r44a7ee5	r83dab11
36	36	#define KERN_ia32_THREAD_H_
37	37
38		~~#include <typedefs.h>~~
39
40	38	typedef struct {
41	39	} thread_arch_t;

kernel/arch/ia32/include/arch/smp/apic.h

-              r44a7ee5
+              r83dab11
 #ifndef __ASM__
-#include <typedefs.h>
 #include <cpu.h>
+#include <stdint.h>
 #define FIXED  (0 << 0)

kernel/arch/ia32/include/arch/smp/mps.h

r44a7ee5	r83dab11
36	36	#define KERN_ia32_MPS_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39	#include <synch/waitq.h>
40	40	#include <config.h>

kernel/arch/ia32/include/arch/smp/smp.h

-              r44a7ee5
+              r83dab11
 #define KERN_ia32_SMP_H_
+#include <typedefs.h>
+#include <stdbool.h>
+#include <stddef.h>
 /** SMP config opertaions interface. */

kernel/arch/ia32/include/arch/vreg.h

r44a7ee5	r83dab11
40	40	#ifndef __ASM__
41	41
42		#include <~~typedefs~~.h>
	42	#include <stdint.h>
43	43
44	44	extern uint32_t *vreg_ptr;

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

r44a7ee5	r83dab11
38	38
39	39	#include <arch.h>
40		#include <~~typedefs~~.h>
	40	#include <stdint.h>
41	41	#include <print.h>
42	42	#include <fpu_context.h>

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

r44a7ee5	r83dab11
36	36	#include <arch/ddi/ddi.h>
37	37	#include <proc/task.h>
38		#include <~~typedefs~~.h>
	38	#include <stddef.h>
39	39	#include <adt/bitmap.h>
40	40	#include <mm/slab.h>

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

-              r44a7ee5
+              r83dab11
 #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

r44a7ee5	r83dab11
37	37	*/
38	38
39		#include <~~typedefs~~.h>
	39	#include <stdint.h>
40	40	#include <time/clock.h>
41	41	#include <time/delay.h>

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

r44a7ee5	r83dab11
39	39	#include <arch/drivers/i8259.h>
40	40	#include <cpu.h>
41		#include <~~typedefs~~.h>
	41	#include <stdint.h>
42	42	#include <arch/asm.h>
43	43	#include <arch.h>

kernel/arch/ia32/src/ia32.c

r44a7ee5	r83dab11
37	37	#include <arch.h>
38	38	#include <arch/arch.h>
39		#include <~~typedefs~~.h>
	39	#include <stdint.h>
40	40	#include <errno.h>
41	41	#include <mem.h>

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

r44a7ee5	r83dab11
34	34
35	35	#include <proc/task.h>
36		#include <~~typedefs~~.h>
	36	#include <stddef.h>
37	37	#include <adt/bitmap.h>
38	38	#include <mm/slab.h>

kernel/arch/ia32/src/syscall.c

-              r44a7ee5
+              r83dab11
 #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

r44a7ee5	r83dab11
35	35	#include <userspace.h>
36	36	#include <arch/pm.h>
37		#include <~~typedefs~~.h>
	37	#include <stdint.h>
38	38	#include <arch.h>
39	39	#include <abi/proc/uarg.h>

kernel/arch/ia64/include/arch/cpu.h

-              r44a7ee5
+              r83dab11
 #define KERN_ia64_CPU_H_
-#include <typedefs.h>
 #include <arch/register.h>
 #include <arch/asm.h>
 #include <arch/bootinfo.h>
+#include <stdint.h>
 #include <trace.h>

kernel/arch/ia64/include/arch/fpu_context.h

r44a7ee5	r83dab11
38	38	#define FPU_CONTEXT_ALIGN 16
39	39
40		#include <~~typedefs~~.h>
	40	#include <stdint.h>
41	41
42	42	#define FRS 96

kernel/arch/ia64/include/arch/interrupt.h

-              r44a7ee5
+              r83dab11
 #ifndef __ASM__
-#include <typedefs.h>
 #include <arch/istate.h>
+#include <stdint.h>
 #endif

kernel/arch/ia64/include/arch/mm/asid.h

r44a7ee5	r83dab11
38	38	#ifndef __ASM__
39	39
40		#include <~~typedefs~~.h>
	40	#include <stdint.h>
41	41
42	42	typedef uint16_t asid_t;

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

r44a7ee5	r83dab11
34	34
35	35	#include <stacktrace.h>
	36	#include <stdbool.h>
36	37	#include <syscall/copy.h>
37	38	#include <typedefs.h>

kernel/arch/ia64/src/drivers/ski.c

r44a7ee5	r83dab11
37	37	#include <console/chardev.h>
38	38	#include <sysinfo/sysinfo.h>
39		#include <~~typedefs~~.h>
	39	#include <stdint.h>
40	40	#include <proc/thread.h>
41	41	#include <synch/spinlock.h>

kernel/arch/mips32/include/arch/arch.h

-              r44a7ee5
+              r83dab11
 #define KERN_mips32_ARCH_H_
+#include <typedefs.h>
+#include <stddef.h>
+#include <stdint.h>
 #define TASKMAP_MAX_RECORDS        32

kernel/arch/mips32/include/arch/context.h

r44a7ee5	r83dab11
39	39	#include <arch/stack.h>
40	40	#include <arch/context_struct.h>
41		~~#include <typedefs.h>~~
42	41
43	42	/*

kernel/arch/mips32/include/arch/cp0.h

r44a7ee5	r83dab11
35	35	#ifndef KERN_mips32_CP0_H_
36	36	#define KERN_mips32_CP0_H_
	37
	38	#include <stdint.h>
37	39
38	40	#define cp0_status_ie_enabled_bit (1 << 0)

kernel/arch/mips32/include/arch/cpu.h

-              r44a7ee5
+              r83dab11
 #define KERN_mips32_CPU_H_
-#include <typedefs.h>
 #include <arch/asm.h>
+#include <stdint.h>
 typedef struct {

kernel/arch/mips32/include/arch/exception.h

r44a7ee5	r83dab11
36	36	#define KERN_mips32_EXCEPTION_H_
37	37
38		~~#include <typedefs.h>~~
39	38	#include <arch/istate.h>
40	39

kernel/arch/mips32/include/arch/interrupt.h

r44a7ee5	r83dab11
36	36	#define KERN_mips32_INTERRUPT_H_
37	37
38		~~#include <typedefs.h>~~
39	38	#include <arch/exception.h>
40	39

kernel/arch/mips32/include/arch/mm/asid.h

r44a7ee5	r83dab11
36	36	#define KERN_mips32_ASID_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	#define ASID_MAX_ARCH 255 /* 2^8 - 1 */

kernel/arch/mips32/include/arch/smp/dorder.h

r44a7ee5	r83dab11
36	36	#define KERN_mips32_DORDER_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	extern uint32_t dorder_cpuid(void);

kernel/arch/mips32/src/exception.c

r44a7ee5	r83dab11
38	38	#include <panic.h>
39	39	#include <arch/cp0.h>
40		~~#include <typedefs.h>~~
41	40	#include <arch.h>
42	41	#include <debug.h>

kernel/arch/mips32/src/smp/dorder.c

r44a7ee5	r83dab11
33	33	*/
34	34
35		#include <~~typedefs~~.h>
	35	#include <stdint.h>
36	36	#include <smp/ipi.h>
37	37	#include <arch/smp/dorder.h>

kernel/arch/ppc32/include/arch/boot/boot.h

-              r44a7ee5
+              r83dab11
 #ifndef __ASM__
-#include <typedefs.h>
 #include <config.h>
 #include <genarch/ofw/ofw_tree.h>
+#include <stddef.h>
 typedef struct {

kernel/arch/ppc32/include/arch/cpu.h

r44a7ee5	r83dab11
36	36	#define KERN_ppc32_CPU_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39	#include <trace.h>
40	40

kernel/arch/ppc32/include/arch/mm/asid.h

r44a7ee5	r83dab11
36	36	#define KERN_ppc32_ASID_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	#define ASID_MAX_ARCH 4096

kernel/arch/ppc32/include/arch/mm/frame.h

r44a7ee5	r83dab11
43	43	#ifndef __ASM__
44	44
45		#include <~~typedefs~~.h>
	45	#include <stdint.h>
46	46	#include <trace.h>
47	47

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

r44a7ee5	r83dab11
34	34
35	35	#include <stacktrace.h>
	36	#include <stdbool.h>
36	37	#include <syscall/copy.h>
37	38	#include <typedefs.h>

kernel/arch/ppc32/src/interrupt.c

r44a7ee5	r83dab11
37	37	#include <arch/interrupt.h>
38	38	#include <arch/istate.h>
39		#include <~~typedefs~~.h>
	39	#include <stdint.h>
40	40	#include <arch.h>
41	41	#include <ipc/sysipc.h>

kernel/arch/riscv64/include/arch/boot/boot.h

-              r44a7ee5
+              r83dab11
 #ifndef __ASM__
+#include <typedefs.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <config.h>

kernel/arch/riscv64/include/arch/fpu_context.h

r44a7ee5	r83dab11
36	36	#define KERN_riscv64_FPU_CONTEXT_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	typedef struct {

kernel/arch/riscv64/include/arch/mm/asid.h

r44a7ee5	r83dab11
36	36	#define KERN_riscv64_ASID_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	#define ASID_MAX_ARCH 4096

kernel/arch/riscv64/include/arch/mm/frame.h

r44a7ee5	r83dab11
43	43	#ifndef __ASM__
44	44
45		~~#include <typedefs.h>~~
46
47	45	extern void frame_low_arch_init(void);
48	46	extern void frame_high_arch_init(void);

kernel/arch/riscv64/include/arch/mm/page.h

r44a7ee5	r83dab11
212	212	#include <mm/mm.h>
213	213	#include <arch/interrupt.h>
214		#include <~~typedefs~~.h>
	214	#include <stdint.h>
215	215
216	216	/** Page Table Entry. */

kernel/arch/riscv64/include/arch/proc/task.h

r44a7ee5	r83dab11
36	36	#define KERN_riscv64_TASK_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stddef.h>
39	39
40	40	typedef struct {

kernel/arch/riscv64/src/cpu/cpu.c

r44a7ee5	r83dab11
36	36	#include <cpu.h>
37	37	#include <arch.h>
38		~~#include <typedefs.h>~~
39	38	#include <print.h>
40	39	#include <fpu_context.h>
…	…
57	56	}
58	57
59		void cpu_print_report(cpu_t* cpu)
	58	void cpu_print_report(cpu_t *cpu)
60	59	{
61	60	}

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

r44a7ee5	r83dab11
34	34
35	35	#include <stacktrace.h>
	36	#include <stdbool.h>
36	37	#include <syscall/copy.h>
37	38	#include <typedefs.h>

kernel/arch/riscv64/src/mm/km.c

r44a7ee5	r83dab11
32	32
33	33	#include <arch/mm/km.h>
	34	#include <stdbool.h>
34	35	#include <typedefs.h>
35	36

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

r44a7ee5	r83dab11
39	39	#include <mm/page.h>
40	40	#include <mm/as.h>
41		~~#include <typedefs.h>~~
42	41	#include <align.h>
43	42	#include <config.h>

kernel/arch/riscv64/src/riscv64.c

r44a7ee5	r83dab11
34	34
35	35	#include <arch.h>
36		#include <~~typedefs~~.h>
	36	#include <stddef.h>
37	37	#include <arch/interrupt.h>
38	38	#include <arch/asm.h>

kernel/arch/riscv64/src/userspace.c

-              r44a7ee5
+              r83dab11
  */
+#include <abi/proc/uarg.h>
+#include <stdbool.h>
 #include <userspace.h>
-#include <typedefs.h>
-#include <arch.h>
-#include <abi/proc/uarg.h>
-#include <mm/as.h>
 void userspace(uspace_arg_t *kernel_uarg)

kernel/arch/sparc64/include/arch/cpu.h

r44a7ee5	r83dab11
54	54	#ifndef __ASM__
55	55
56		~~#include <typedefs.h>~~
57	56	#include <arch/register.h>
58	57	#include <arch/regdef.h>

kernel/arch/sparc64/include/arch/drivers/kbd.h

r44a7ee5	r83dab11
36	36	#define KERN_sparc64_KBD_H_
37	37
38		~~#include <typedefs.h>~~
39	38	#include <genarch/ofw/ofw_tree.h>
40	39

kernel/arch/sparc64/include/arch/drivers/pci.h

r44a7ee5	r83dab11
36	36	#define KERN_sparc64_PCI_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39	#include <genarch/ofw/ofw_tree.h>
40	40	#include <arch/arch.h>

kernel/arch/sparc64/include/arch/drivers/scr.h

r44a7ee5	r83dab11
36	36	#define KERN_sparc64_SCR_H_
37	37
38		~~#include <typedefs.h>~~
39	38	#include <genarch/ofw/ofw_tree.h>
40	39

kernel/arch/sparc64/include/arch/fpu_context.h

r44a7ee5	r83dab11
36	36	#define KERN_sparc64_FPU_CONTEXT_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	#define FPU_CONTEXT_ALIGN 8

kernel/arch/sparc64/include/arch/interrupt.h

r44a7ee5	r83dab11
37	37	#define KERN_sparc64_INTERRUPT_H_
38	38
39		~~#include <typedefs.h>~~
40	39	#include <arch/istate.h>
41	40

kernel/arch/sparc64/include/arch/mm/asid.h

r44a7ee5	r83dab11
36	36	#define KERN_sparc64_ASID_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	/*

kernel/arch/sparc64/include/arch/mm/sun4u/mmu.h

r44a7ee5	r83dab11
91	91	#include <arch/asm.h>
92	92	#include <arch/barrier.h>
93		#include <~~typedefs~~.h>
	93	#include <stdint.h>
94	94
95	95	#if defined(US)

kernel/arch/sparc64/include/arch/mm/sun4u/tte.h

r44a7ee5	r83dab11
49	49	#ifndef __ASM__
50	50
51		#include <~~typedefs~~.h>
	51	#include <stdint.h>
52	52
53	53	/* TTE tag's VA_tag field contains bits <63:VA_TAG_PAGE_SHIFT> of the VA */

kernel/arch/sparc64/include/arch/mm/sun4v/tte.h

r44a7ee5	r83dab11
50	50	#ifndef __ASM__
51	51
52		#include <~~typedefs~~.h>
	52	#include <stdint.h>
53	53
54	54	/** Translation Table Entry - Data. */

kernel/arch/sparc64/include/arch/proc/thread.h

-              r44a7ee5
+              r83dab11
 #define KERN_sparc64_THREAD_H_
-#include <typedefs.h>
 #include <arch/arch.h>
 #include <mm/slab.h>
+#include <stdint.h>
 extern slab_cache_t *uwb_cache;

kernel/arch/sparc64/include/arch/register.h

r44a7ee5	r83dab11
37	37
38	38	#include <arch/regdef.h>
39		#include <~~typedefs~~.h>
	39	#include <stdint.h>
40	40
41	41	/** Version Register. */

kernel/arch/sparc64/include/arch/smp/sun4v/smp.h

-              r44a7ee5
+              r83dab11
 #define KERN_sparc64_sun4v_SMP_H_
-#include <typedefs.h>
 #include <arch/sun4v/cpu.h>
+#include <stdint.h>
 extern bool calculate_optimal_nrdy(exec_unit_t *);

kernel/arch/sparc64/include/arch/sun4u/cpu.h

-              r44a7ee5
+              r83dab11
 #ifndef __ASM__
-#include <typedefs.h>
 #include <arch/register.h>
 #include <arch/regdef.h>
 #include <arch/asm.h>
 #include <arch/arch.h>
+#include <stdint.h>
 #include <trace.h>

kernel/arch/sparc64/include/arch/sun4v/hypercall.h

-              r44a7ee5
+              r83dab11
  */
 /** @addtogroup sparc64
+/** @addtogroup sparc64
  * @{
  */
 …
 #ifndef __ASM__
 #include <typedefs.h>
+#include <stdint.h>
 /*

kernel/arch/sparc64/include/arch/sun4v/ipi.h

r44a7ee5	r83dab11
38	38	#define KERN_sparc64_sun4v_IPI_H_
39	39
40		#include <~~typedefs~~.h>
	40	#include <stdint.h>
41	41
42	42	extern uint64_t ipi_brodcast_to(void (*)(void), uint16_t cpu_list[], uint64_t);

kernel/arch/sparc64/include/arch/sun4v/md.h

r44a7ee5	r83dab11
36	36	#define KERN_sparc64_sun4v_MD_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdbool.h>
39	39
40	40	/**

kernel/arch/sparc64/include/arch/sun4v/register.h

r44a7ee5	r83dab11
37	37
38	38	#include <arch/regdef.h>
39		#include <~~typedefs~~.h>
	39	#include <stdint.h>
40	40
41	41	/** Processor State Register. */

kernel/arch/sparc64/include/arch/trap/trap_table.h

r44a7ee5	r83dab11
45	45	#ifndef __ASM__
46	46
47		#include <~~typedefs~~.h>
	47	#include <stdint.h>
48	48
49	49	struct trap_table_entry {

kernel/arch/sparc64/src/console.c

r44a7ee5	r83dab11
34	34
35	35	#include <arch/console.h>
36		~~#include <typedefs.h>~~
37	36
38	37	#include <arch/drivers/scr.h>

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

-              r44a7ee5
+              r83dab11
 #include <stacktrace.h>
+#include <stdbool.h>
+#include <stdint.h>
 #include <syscall/copy.h>
-#include <typedefs.h>
 #include <proc/thread.h>

kernel/arch/sparc64/src/drivers/scr.c

r44a7ee5	r83dab11
42	42	#include <console/chardev.h>
43	43	#include <console/console.h>
44		#include <~~typedefs~~.h>
	44	#include <stdint.h>
45	45	#include <str.h>
46	46	#include <align.h>

kernel/arch/sparc64/src/smp/sun4u/smp.c

r44a7ee5	r83dab11
41	41	#include <config.h>
42	42	#include <macros.h>
43		#include <~~typedefs~~.h>
	43	#include <stdint.h>
44	44	#include <synch/waitq.h>
45	45	#include <log.h>

kernel/arch/sparc64/src/smp/sun4v/smp.c

-              r44a7ee5
+              r83dab11
 #include <macros.h>
 #include <func.h>
+#include <typedefs.h>
+#include <stdbool.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <synch/waitq.h>
 #include <print.h>

kernel/arch/sparc64/src/trap/interrupt.c

r44a7ee5	r83dab11
41	41	#include <interrupt.h>
42	42	#include <ddi/irq.h>
43		#include <~~typedefs~~.h>
	43	#include <stdbool.h>
44	44	#include <debug.h>
45	45	#include <arch/asm.h>

kernel/arch/sparc64/src/trap/sun4u/interrupt.c

r44a7ee5	r83dab11
38	38	#include <interrupt.h>
39	39	#include <ddi/irq.h>
40		#include <~~typedefs~~.h>
	40	#include <stdint.h>
41	41	#include <debug.h>
42	42	#include <arch/asm.h>

kernel/arch/sparc64/src/trap/sun4v/interrupt.c

r44a7ee5	r83dab11
38	38	#include <interrupt.h>
39	39	#include <ddi/irq.h>
40		#include <~~typedefs~~.h>
	40	#include <stdint.h>
41	41	#include <debug.h>
42	42	#include <arch/asm.h>

kernel/generic/include/adt/avl.h

r44a7ee5	r83dab11
38	38	#include <stdbool.h>
39	39	#include <stddef.h>
40		#include <~~typedefs~~.h>
	40	#include <stdint.h>
41	41	#include <trace.h>
42	42

kernel/generic/include/adt/bitmap.h

r44a7ee5	r83dab11
36	36	#define KERN_BITMAP_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stddef.h>
39	39
40	40	#define BITMAP_ELEMENT 8

kernel/generic/include/adt/btree.h

-              r44a7ee5
+              r83dab11
 #define KERN_BTREE_H_
-#include <typedefs.h>
 #include <adt/list.h>
+#include <stddef.h>
 #define BTREE_M         5
 …
         link_t leaf_link;
         /* Variables needed by btree_print(). */
+        /* Variables needed by btree_print(). */
         link_t bfs_link;
         int depth;

kernel/generic/include/adt/list.h

-              r44a7ee5
+              r83dab11
 #include <debug.h>
+#include <typedefs.h>
+#include <stdbool.h>
+#include <stddef.h>
 #include <trace.h>

kernel/generic/include/byteorder.h

r44a7ee5	r83dab11
36	36	#define KERN_BYTEORDER_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	#if !(defined(__BE__) ^ defined(__LE__))

kernel/generic/include/console/chardev.h

-              r44a7ee5
+              r83dab11
 #include <adt/list.h>
+#include <typedefs.h>
+#include <stdbool.h>
+#include <stddef.h>
 #include <synch/waitq.h>
 #include <synch/spinlock.h>

kernel/generic/include/context.h

r44a7ee5	r83dab11
36	36	#define KERN_CONTEXT_H_
37	37
38		~~#include <typedefs.h>~~
39	38	#include <trace.h>
40	39	#include <arch/context.h>

kernel/generic/include/func.h

r44a7ee5	r83dab11
36	36	#define KERN_FUNC_H_
37	37
38		~~#include <typedefs.h>~~
39	38	#include <atomic.h>
40	39

kernel/generic/include/gsort.h

r44a7ee5	r83dab11
37	37
38	38	#include <stdbool.h>
39		#include <~~typedefs~~.h>
	39	#include <stddef.h>
40	40
41	41	typedef int (* sort_cmp_t)(void , void , void *);

kernel/generic/include/lib/elf.h

r44a7ee5	r83dab11
36	36	#define KERN_ELF_H_
37	37
38		~~#include <typedefs.h>~~
39	38	#include <abi/elf.h>
40	39	#include <arch/elf.h>

kernel/generic/include/lib/elf_load.h

r44a7ee5	r83dab11
37	37
38	38	#include <arch/elf.h>
39		~~#include <typedefs.h>~~
40	39
41	40	/**

kernel/generic/include/lib/memfnc.h

r44a7ee5	r83dab11
36	36	#define KERN_LIB_MEMFNC_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stddef.h>
39	39	#include <cc.h>
40	40

kernel/generic/include/lib/rd.h

r44a7ee5	r83dab11
36	36	#define KERN_RD_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stddef.h>
39	39
40	40	extern void init_rd(void *, size_t);

kernel/generic/include/log.h

-              r44a7ee5
+              r83dab11
 #define KERN_LOG_H_
-#include <typedefs.h>
 #include <stdarg.h>
+#include <stddef.h>
 #include <printf/verify.h>
 #include <abi/log.h>

kernel/generic/include/macros.h

r44a7ee5	r83dab11
38	38	#ifndef __ASM__
39	39
40		#include <~~typedefs~~.h>
	40	#include <stdint.h>
41	41	#include <trace.h>
42	42

kernel/generic/include/mem.h

-              r44a7ee5
+              r83dab11
 #define KERN_MEM_H_
+#include <typedefs.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <cc.h>

kernel/generic/include/mm/reserve.h

r44a7ee5	r83dab11
37	37
38	38	#include <stdbool.h>
39		#include <~~typedefs~~.h>
	39	#include <stddef.h>
40	40
41	41	extern void reserve_init(void);

kernel/generic/include/print.h

-              r44a7ee5
+              r83dab11
 #define KERN_PRINT_H_
-#include <typedefs.h>
 #include <stdarg.h>
+#include <stddef.h>
 #include <printf/verify.h>

kernel/generic/include/printf/printf_core.h

-              r44a7ee5
+              r83dab11
 #define KERN_PRINTF_CORE_H_
-#include <typedefs.h>
 #include <stdarg.h>
+#include <stddef.h>
 /** Structure for specifying output methods for different printf clones. */

kernel/generic/include/proc/scheduler.h

-              r44a7ee5
+              r83dab11
 #define KERN_SCHEDULER_H_
+#include <stddef.h>
 #include <synch/spinlock.h>
 #include <time/clock.h>
-#include <typedefs.h>
 #include <atomic.h>
 #include <adt/list.h>

kernel/generic/include/stdint.h

r44a7ee5	r83dab11
36	36	#define KERN_STDINT_H_
37	37
	38	#include <arch/common.h>
	39
38	40	#define INT8_MIN INT8_C(0x80)
39	41	#define INT8_MAX INT8_C(0x7F)

kernel/generic/include/str.h

-              r44a7ee5
+              r83dab11
 #include <stdbool.h>
+#include <typedefs.h>
+#include <stddef.h>
+#include <stdint.h>
 /**< Common Unicode characters */

kernel/generic/include/synch/condvar.h

r44a7ee5	r83dab11
36	36	#define KERN_CONDVAR_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39	#include <synch/waitq.h>
40	40	#include <synch/mutex.h>

kernel/generic/include/synch/mutex.h

-              r44a7ee5
+              r83dab11
 #define KERN_MUTEX_H_
+#include <typedefs.h>
+#include <stdbool.h>
+#include <stdint.h>
 #include <synch/semaphore.h>
 #include <abi/synch.h>

kernel/generic/include/synch/semaphore.h

r44a7ee5	r83dab11
36	36	#define KERN_SEMAPHORE_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39	#include <synch/waitq.h>
40	40	#include <abi/synch.h>

kernel/generic/include/synch/spinlock.h

r44a7ee5	r83dab11
36	36	#define KERN_SPINLOCK_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdbool.h>
39	39	#include <arch/barrier.h>
40	40	#include <preemption.h>

kernel/generic/include/syscall/copy.h

r44a7ee5	r83dab11
36	36	#define KERN_COPY_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stddef.h>
39	39
40	40	/** Label within memcpy_from_uspace() that contains return -1. */

kernel/generic/include/time/delay.h

r44a7ee5	r83dab11
36	36	#define KERN_DELAY_H_
37	37
38		#include <~~typedefs~~.h>
	38	#include <stdint.h>
39	39
40	40	extern void delay(uint32_t microseconds);

kernel/generic/include/time/timeout.h

-              r44a7ee5
+              r83dab11
 #define KERN_TIMEOUT_H_
-#include <typedefs.h>
 #include <adt/list.h>
 #include <cpu.h>
+#include <stdint.h>
 typedef void (* timeout_handler_t)(void *arg);

Note: See TracChangeset for help on using the changeset viewer.

Context Navigation

Changeset 83dab11 in mainline

Legend:

Download in other formats: