Index: kernel/arch/amd64/include/arg.h =================================================================== --- kernel/arch/amd64/include/arg.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/arg.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_ARG_H__ -#define __amd64_ARG_H__ +#ifndef KERN_amd64_ARG_H_ +#define KERN_amd64_ARG_H_ #include @@ -40,5 +40,5 @@ #endif - /** @} +/** @} */ Index: kernel/arch/amd64/include/asm.h =================================================================== --- kernel/arch/amd64/include/asm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/asm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_ASM_H__ -#define __amd64_ASM_H__ +#ifndef KERN_amd64_ASM_H_ +#define KERN_amd64_ASM_H_ #include @@ -275,5 +275,4 @@ GEN_WRITE_REG(dr7); - extern size_t interrupt_handler_size; extern void interrupt_handlers(void); @@ -281,5 +280,4 @@ #endif - /** @} - */ - +/** @} + */ Index: kernel/arch/amd64/include/atomic.h =================================================================== --- kernel/arch/amd64/include/atomic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/atomic.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_ATOMIC_H__ -#define __amd64_ATOMIC_H__ +#ifndef KERN_amd64_ATOMIC_H_ +#define KERN_amd64_ATOMIC_H_ #include @@ -126,5 +126,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/boot/boot.h =================================================================== --- kernel/arch/amd64/include/boot/boot.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/boot/boot.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,10 +33,10 @@ */ -#ifndef __amd64_BOOT_H__ -#define __amd64_BOOT_H__ +#ifndef KERN_amd64_BOOT_H_ +#define KERN_amd64_BOOT_H_ -#define BOOT_OFFSET 0x108000 +#define BOOT_OFFSET 0x108000 #define AP_BOOT_OFFSET 0x8000 -#define BOOT_STACK_SIZE 0x400 +#define BOOT_STACK_SIZE 0x400 #define MULTIBOOT_HEADER_MAGIC 0x1BADB002 Index: kernel/arch/amd64/include/byteorder.h =================================================================== --- kernel/arch/amd64/include/byteorder.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/byteorder.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_BYTEORDER_H__ -#define __amd64_BYTEORDER_H__ +#ifndef KERN_amd64_BYTEORDER_H_ +#define KERN_amd64_BYTEORDER_H_ /* AMD64 is little-endian */ @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/context.h =================================================================== --- kernel/arch/amd64/include/context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,8 +33,8 @@ */ -#ifndef __amd64_CONTEXT_H__ -#define __amd64_CONTEXT_H__ +#ifndef KERN_amd64_CONTEXT_H_ +#define KERN_amd64_CONTEXT_H_ -#ifndef __amd64_TYPES_H__ +#ifndef KERN_amd64_TYPES_H_ # include #endif @@ -67,5 +67,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/context_offset.h =================================================================== --- kernel/arch/amd64/include/context_offset.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/context_offset.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -10,5 +10,2 @@ #define OFFSET_IPL 0x40 - /** @} - */ - Index: kernel/arch/amd64/include/cpu.h =================================================================== --- kernel/arch/amd64/include/cpu.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/cpu.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __amd64_CPU_H__ -#define __amd64_CPU_H__ +#ifndef KERN_amd64_CPU_H_ +#define KERN_amd64_CPU_H_ #define RFLAGS_IF (1 << 9) Index: kernel/arch/amd64/include/cpuid.h =================================================================== --- kernel/arch/amd64/include/cpuid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/cpuid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __amd64_CPUID_H__ -#define __amd64_CPUID_H__ +#ifndef KERN_amd64_CPUID_H_ +#define KERN_amd64_CPUID_H_ #define AMD_CPUID_EXTENDED 0x80000001 @@ -61,5 +61,5 @@ extern uint64_t rdtsc(void); -#endif /* __ASM__ */ +#endif /* !def __ASM__ */ #endif Index: kernel/arch/amd64/include/ddi/ddi.h =================================================================== --- kernel/arch/amd64/include/ddi/ddi.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/ddi/ddi.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64ddi +/** @addtogroup amd64ddi * @{ */ @@ -36,6 +36,6 @@ */ -#ifndef __amd64_DDI_H__ -#define __amd64_DDI_H__ +#ifndef KERN_amd64_DDI_H_ +#define KERN_amd64_DDI_H_ extern void io_perm_bitmap_install(void); @@ -43,5 +43,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/debugger.h =================================================================== --- kernel/arch/amd64/include/debugger.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/debugger.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64debug +/** @addtogroup amd64debug * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_DEBUGGER_H__ -#define __amd64_DEBUGGER_H__ +#ifndef KERN_amd64_DEBUGGER_H_ +#define KERN_amd64_DEBUGGER_H_ #include @@ -54,5 +54,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/drivers/vesa.h =================================================================== --- kernel/arch/amd64/include/drivers/vesa.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/drivers/vesa.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,15 +33,12 @@ */ -#ifndef __VESA_H__ -#define __VESA_H__ - +#ifndef KERN_amd64_VESA_H_ +#define KERN_amd64_VESA_H_ int vesa_present(void); void vesa_init(void); - #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/elf.h =================================================================== --- kernel/arch/amd64/include/elf.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/elf.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_ELF_H__ -#define __amd64_ELF_H__ +#ifndef KERN_amd64_ELF_H_ +#define KERN_amd64_ELF_H_ #define ELF_MACHINE EM_X86_64 @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/faddr.h =================================================================== --- kernel/arch/amd64/include/faddr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/faddr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __amd64_FADDR_H__ -#define __amd64_FADDR_H__ +#ifndef KERN_amd64_FADDR_H_ +#define KERN_amd64_FADDR_H_ #include Index: kernel/arch/amd64/include/interrupt.h =================================================================== --- kernel/arch/amd64/include/interrupt.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/interrupt.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64interrupt +/** @addtogroup amd64interrupt * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_INTERRUPT_H__ -#define __ia32_INTERRUPT_H__ +#ifndef KERN_amd64_INTERRUPT_H_ +#define KERN_amd64_INTERRUPT_H_ #include @@ -129,5 +129,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/memstr.h =================================================================== --- kernel/arch/amd64/include/memstr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/memstr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_MEMSTR_H__ -#define __amd64_MEMSTR_H__ +#ifndef KERN_amd64_MEMSTR_H_ +#define KERN_amd64_MEMSTR_H_ /** Copy memory @@ -142,5 +142,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/mm/as.h =================================================================== --- kernel/arch/amd64/include/mm/as.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/mm/as.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64mm +/** @addtogroup amd64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_AS_H__ -#define __amd64_AS_H__ +#ifndef KERN_amd64_AS_H_ +#define KERN_amd64_AS_H_ #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 @@ -51,5 +51,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/mm/frame.h =================================================================== --- kernel/arch/amd64/include/mm/frame.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/mm/frame.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64mm +/** @addtogroup amd64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_FRAME_H__ -#define __amd64_FRAME_H__ +#ifndef KERN_amd64_FRAME_H_ +#define KERN_amd64_FRAME_H_ #ifndef __ASM__ @@ -43,5 +43,4 @@ #define FRAME_SIZE (1< Index: kernel/arch/amd64/include/mm/ptl.h =================================================================== --- kernel/arch/amd64/include/mm/ptl.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/mm/ptl.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64mm +/** @addtogroup amd64mm * @{ */ @@ -33,7 +33,6 @@ */ - -#ifndef __amd64_PTL_H_ -#define __amd64_PTL_H_ +#ifndef KERN_amd64_PTL_H_ +#define KERN_amd64_PTL_H_ #define PTL_NO_EXEC (1<<63) @@ -49,5 +48,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/mm/tlb.h =================================================================== --- kernel/arch/amd64/include/mm/tlb.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/mm/tlb.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64mm +/** @addtogroup amd64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_TLB_H__ -#define __amd64_TLB_H__ +#ifndef KERN_amd64_TLB_H_ +#define KERN_amd64_TLB_H_ #define tlb_arch_init() @@ -41,5 +41,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/pm.h =================================================================== --- kernel/arch/amd64/include/pm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/pm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_PM_H__ -#define __amd64_PM_H__ +#ifndef KERN_amd64_PM_H_ +#define KERN_amd64_PM_H_ #ifndef __ASM__ @@ -195,5 +195,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/syscall.h =================================================================== --- kernel/arch/amd64/include/syscall.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/syscall.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __amd64_SYSCALL_H__ -#define __amd64_SYSCALL_H__ +#ifndef KERN_amd64_SYSCALL_H_ +#define KERN_amd64_SYSCALL_H_ #include @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/amd64/include/types.h =================================================================== --- kernel/arch/amd64/include/types.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/include/types.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __amd64_TYPES_H__ -#define __amd64_TYPES_H__ +#ifndef KERN_amd64_TYPES_H_ +#define KERN_amd64_TYPES_H_ #define NULL 0 Index: kernel/arch/amd64/src/ddi/ddi.c =================================================================== --- kernel/arch/amd64/src/ddi/ddi.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/ddi/ddi.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64ddi +/** @addtogroup amd64ddi * @{ */ @@ -163,5 +163,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/amd64/src/debugger.c =================================================================== --- kernel/arch/amd64/src/debugger.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/debugger.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64debug +/** @addtogroup amd64debug * @{ */ @@ -383,5 +383,4 @@ } - /** @} - */ - +/** @} + */ Index: kernel/arch/amd64/src/interrupt.c =================================================================== --- kernel/arch/amd64/src/interrupt.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/interrupt.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64interrupt +/** @addtogroup amd64interrupt * @{ */ @@ -183,5 +183,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/amd64/src/mm/memory_init.c =================================================================== --- kernel/arch/amd64/src/mm/memory_init.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/mm/memory_init.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64mm +/** @addtogroup amd64mm * @{ */ @@ -76,6 +76,4 @@ } - - /** @} +/** @} */ - Index: kernel/arch/amd64/src/mm/page.c =================================================================== --- kernel/arch/amd64/src/mm/page.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/mm/page.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64mm +/** @addtogroup amd64mm * @{ */ @@ -216,5 +216,4 @@ } - /** @} - */ - +/** @} + */ Index: kernel/arch/amd64/src/pm.c =================================================================== --- kernel/arch/amd64/src/pm.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/pm.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -28,5 +28,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -241,5 +241,4 @@ } - /** @} - */ - +/** @} + */ Index: kernel/arch/amd64/src/proc/scheduler.c =================================================================== --- kernel/arch/amd64/src/proc/scheduler.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/proc/scheduler.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64proc +/** @addtogroup amd64proc * @{ */ @@ -81,5 +81,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/amd64/src/proc/task.c =================================================================== --- kernel/arch/amd64/src/proc/task.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/proc/task.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64proc +/** @addtogroup amd64proc * @{ */ @@ -57,5 +57,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/amd64/src/syscall.c =================================================================== --- kernel/arch/amd64/src/syscall.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/syscall.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -68,5 +68,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/amd64/src/userspace.c =================================================================== --- kernel/arch/amd64/src/userspace.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/amd64/src/userspace.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64 +/** @addtogroup amd64 * @{ */ @@ -78,5 +78,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia32/include/arg.h =================================================================== --- kernel/arch/ia32/include/arg.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/arg.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_ARG_H__ -#define __ia32_ARG_H__ +#ifndef KERN_ia32_ARG_H_ +#define KERN_ia32_ARG_H_ #include @@ -40,5 +40,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/asm.h =================================================================== --- kernel/arch/ia32/include/asm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/asm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -28,5 +28,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -34,6 +34,6 @@ */ -#ifndef __ia32_ASM_H__ -#define __ia32_ASM_H__ +#ifndef KERN_ia32_ASM_H_ +#define KERN_ia32_ASM_H_ #include @@ -297,5 +297,4 @@ #endif - /** @} - */ - +/** @} + */ Index: kernel/arch/ia32/include/atomic.h =================================================================== --- kernel/arch/ia32/include/atomic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/atomic.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_ATOMIC_H__ -#define __ia32_ATOMIC_H__ +#ifndef KERN_ia32_ATOMIC_H_ +#define KERN_ia32_ATOMIC_H_ #include @@ -125,5 +125,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/barrier.h =================================================================== --- kernel/arch/ia32/include/barrier.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/barrier.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_BARRIER_H__ -#define __ia32_BARRIER_H__ +#ifndef KERN_ia32_BARRIER_H_ +#define KERN_ia32_BARRIER_H_ /* @@ -87,5 +87,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/bios/bios.h =================================================================== --- kernel/arch/ia32/include/bios/bios.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/bios/bios.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __BIOS_H__ -#define __BIOS_H__ +#ifndef KERN_ia32_BIOS_H_ +#define KERN_ia32_BIOS_H_ #include @@ -44,7 +44,6 @@ extern void bios_init(void); -#endif /* __BIOS_H__ */ +#endif /* KERN_ia32_BIOS_H_ */ - /** @} +/** @} */ - Index: kernel/arch/ia32/include/boot/boot.h =================================================================== --- kernel/arch/ia32/include/boot/boot.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/boot/boot.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_BOOT_H__ -#define __ia32_BOOT_H__ +#ifndef KERN_ia32_BOOT_H_ +#define KERN_ia32_BOOT_H_ #define BOOT_OFFSET 0x108000 @@ -47,5 +47,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/boot/memmap.h =================================================================== --- kernel/arch/ia32/include/boot/memmap.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/boot/memmap.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_MEMMAP_H__ -#define __ia32_MEMMAP_H__ +#ifndef KERN_ia32_MEMMAP_H_ +#define KERN_ia32_MEMMAP_H_ /* E820h memory range types - other values*/ @@ -74,5 +74,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/byteorder.h =================================================================== --- kernel/arch/ia32/include/byteorder.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/byteorder.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_BYTEORDER_H__ -#define __ia32_BYTEORDER_H__ +#ifndef KERN_ia32_BYTEORDER_H_ +#define KERN_ia32_BYTEORDER_H_ /* IA-32 is little-endian */ @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/context.h =================================================================== --- kernel/arch/ia32/include/context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_CONTEXT_H__ -#define __ia32_CONTEXT_H__ +#ifndef KERN_ia32_CONTEXT_H_ +#define KERN_ia32_CONTEXT_H_ #include @@ -64,5 +64,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/cpu.h =================================================================== --- kernel/arch/ia32/include/cpu.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/cpu.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ia32_CPU_H__ -#define __ia32_CPU_H__ +#ifndef KERN_ia32_CPU_H_ +#define KERN_ia32_CPU_H_ #include Index: kernel/arch/ia32/include/cpuid.h =================================================================== --- kernel/arch/ia32/include/cpuid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/cpuid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ia32_CPUID_H__ -#define __ia32_CPUID_H__ +#ifndef KERN_ia32_CPUID_H_ +#define KERN_ia32_CPUID_H_ #include @@ -118,3 +118,2 @@ /** @} */ - Index: kernel/arch/ia32/include/ddi/ddi.h =================================================================== --- kernel/arch/ia32/include/ddi/ddi.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/ddi/ddi.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -35,6 +35,6 @@ */ -#ifndef __ia32_DDI_H__ -#define __ia32_DDI_H__ +#ifndef KERN_ia32_DDI_H_ +#define KERN_ia32_DDI_H_ extern void io_perm_bitmap_install(void); @@ -44,3 +44,2 @@ /** @} */ - Index: kernel/arch/ia32/include/debug.h =================================================================== --- kernel/arch/ia32/include/debug.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/debug.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup amd64debug +/** @addtogroup amd64debug * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_DEBUG_H__ -#define __ia32_DEBUG_H__ +#ifndef KERN_ia32_DEBUG_H_ +#define KERN_ia32_DEBUG_H_ #include @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/drivers/ega.h =================================================================== --- kernel/arch/ia32/include/drivers/ega.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/drivers/ega.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __EGA_H__ -#define __EGA_H__ +#ifndef KERN_ia32_EGA_H_ +#define KERN_ia32_EGA_H_ #define VIDEORAM 0xb8000 @@ -45,5 +45,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/drivers/i8042.h =================================================================== --- kernel/arch/ia32/include/drivers/i8042.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/drivers/i8042.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -37,6 +37,6 @@ */ -#ifndef __ia32_I8042_H__ -#define __ia32_I8042_H__ +#ifndef KERN_ia32_I8042_H_ +#define KERN_ia32_I8042_H_ #include @@ -68,5 +68,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/drivers/i8254.h =================================================================== --- kernel/arch/ia32/include/drivers/i8254.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/drivers/i8254.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __I8254_H__ -#define __I8254_H__ +#ifndef KERN_ia32_I8254_H_ +#define KERN_ia32_I8254_H_ #include @@ -44,5 +44,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/drivers/i8259.h =================================================================== --- kernel/arch/ia32/include/drivers/i8259.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/drivers/i8259.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __I8259_H__ -#define __I8259_H__ +#ifndef KERN_ia32_I8259_H_ +#define KERN_ia32_I8259_H_ #include @@ -54,5 +54,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/drivers/vesa.h =================================================================== --- kernel/arch/ia32/include/drivers/vesa.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/drivers/vesa.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __VESA_H__ -#define __VESA_H__ +#ifndef KERN_ia32_VESA_H_ +#define KERN_ia32_VESA_H_ extern int vesa_present(void); @@ -41,5 +41,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/elf.h =================================================================== --- kernel/arch/ia32/include/elf.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/elf.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_ELF_H__ -#define __ia32_ELF_H__ +#ifndef KERN_ia32_ELF_H_ +#define KERN_ia32_ELF_H_ #define ELF_MACHINE EM_386 @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/faddr.h =================================================================== --- kernel/arch/ia32/include/faddr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/faddr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_FADDR_H__ -#define __ia32_FADDR_H__ +#ifndef KERN_ia32_FADDR_H_ +#define KERN_ia32_FADDR_H_ #include @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/fpu_context.h =================================================================== --- kernel/arch/ia32/include/fpu_context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/fpu_context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_FPU_CONTEXT_H__ -#define __ia32_FPU_CONTEXT_H__ +#ifndef KERN_ia32_FPU_CONTEXT_H_ +#define KERN_ia32_FPU_CONTEXT_H_ #include @@ -49,8 +49,6 @@ }; - #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/interrupt.h =================================================================== --- kernel/arch/ia32/include/interrupt.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/interrupt.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ia32_INTERRUPT_H__ -#define __ia32_INTERRUPT_H__ +#ifndef KERN_ia32_INTERRUPT_H_ +#define KERN_ia32_INTERRUPT_H_ #include @@ -127,3 +127,2 @@ /** @} */ - Index: kernel/arch/ia32/include/memstr.h =================================================================== --- kernel/arch/ia32/include/memstr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/memstr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_MEMSTR_H__ -#define __ia32_MEMSTR_H__ +#ifndef KERN_ia32_MEMSTR_H_ +#define KERN_ia32_MEMSTR_H_ /** Copy memory @@ -148,5 +148,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/mm/as.h =================================================================== --- kernel/arch/ia32/include/mm/as.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/mm/as.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_AS_H__ -#define __ia32_AS_H__ +#ifndef KERN_ia32_AS_H_ +#define KERN_ia32_AS_H_ #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 @@ -51,5 +51,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/mm/asid.h =================================================================== --- kernel/arch/ia32/include/mm/asid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/mm/asid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -40,6 +40,6 @@ */ -#ifndef __ia32_ASID_H__ -#define __ia32_ASID_H__ +#ifndef KERN_ia32_ASID_H_ +#define KERN_ia32_ASID_H_ typedef int asid_t; @@ -52,5 +52,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/mm/frame.h =================================================================== --- kernel/arch/ia32/include/mm/frame.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/mm/frame.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -33,10 +33,9 @@ */ -#ifndef __ia32_FRAME_H__ -#define __ia32_FRAME_H__ +#ifndef KERN_ia32_FRAME_H_ +#define KERN_ia32_FRAME_H_ #define FRAME_WIDTH 12 /* 4K */ #define FRAME_SIZE (1< @@ -45,5 +45,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/mm/page.h =================================================================== --- kernel/arch/ia32/include/mm/page.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/mm/page.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_PAGE_H__ -#define __ia32_PAGE_H__ +#ifndef KERN_ia32_PAGE_H_ +#define KERN_ia32_PAGE_H_ #include @@ -169,5 +169,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/mm/tlb.h =================================================================== --- kernel/arch/ia32/include/mm/tlb.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/mm/tlb.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_TLB_H__ -#define __ia32_TLB_H__ +#ifndef KERN_ia32_TLB_H_ +#define KERN_ia32_TLB_H_ #define tlb_arch_init() @@ -41,5 +41,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/pm.h =================================================================== --- kernel/arch/ia32/include/pm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/pm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __PM_H__ -#define __PM_H__ +#ifndef KERN_ia32_PM_H_ +#define KERN_ia32_PM_H_ #define IDT_ITEMS 64 @@ -179,5 +179,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/smp/ap.h =================================================================== --- kernel/arch/ia32/include/smp/ap.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/smp/ap.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __AP_H__ -#define __AP_H__ +#ifndef KERN_ia32_AP_H_ +#define KERN_ia32_AP_H_ extern void ap_boot(void); @@ -40,5 +40,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/smp/apic.h =================================================================== --- kernel/arch/ia32/include/smp/apic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/smp/apic.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __APIC_H__ -#define __APIC_H__ +#ifndef KERN_ia32_APIC_H_ +#define KERN_ia32_APIC_H_ #include @@ -367,5 +367,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/smp/mps.h =================================================================== --- kernel/arch/ia32/include/smp/mps.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/smp/mps.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __MPS_H__ -#define __MPS_H__ +#ifndef KERN_ia32_MPS_H_ +#define KERN_ia32_MPS_H_ #include @@ -131,5 +131,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/smp/smp.h =================================================================== --- kernel/arch/ia32/include/smp/smp.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/smp/smp.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia32_SMP_H__ -#define __ia32_SMP_H__ +#ifndef KERN_ia32_SMP_H_ +#define KERN_ia32_SMP_H_ #include @@ -52,5 +52,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia32/include/types.h =================================================================== --- kernel/arch/ia32/include/types.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/include/types.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __TYPES_H__ -#define __TYPES_H__ +#ifndef KERN_ia32_TYPES_H_ +#define KERN_ia32_TYPES_H_ #define NULL 0 Index: kernel/arch/ia32/src/bios/bios.c =================================================================== --- kernel/arch/ia32/src/bios/bios.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/bios/bios.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -44,5 +44,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia32/src/ia32.c =================================================================== --- kernel/arch/ia32/src/ia32.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/ia32.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -156,5 +156,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia32/src/mm/as.c =================================================================== --- kernel/arch/ia32/src/mm/as.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/mm/as.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -43,5 +43,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia32/src/mm/frame.c =================================================================== --- kernel/arch/ia32/src/mm/frame.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/mm/frame.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -144,5 +144,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia32/src/mm/memory_init.c =================================================================== --- kernel/arch/ia32/src/mm/memory_init.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/mm/memory_init.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -76,6 +76,4 @@ } - - /** @} +/** @} */ - Index: kernel/arch/ia32/src/mm/page.c =================================================================== --- kernel/arch/ia32/src/mm/page.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/mm/page.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -118,5 +118,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia32/src/mm/tlb.c =================================================================== --- kernel/arch/ia32/src/mm/tlb.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/mm/tlb.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32mm +/** @addtogroup ia32mm * @{ */ @@ -68,5 +68,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia32/src/pm.c =================================================================== --- kernel/arch/ia32/src/pm.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/pm.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -237,5 +237,4 @@ } - /** @} - */ - +/** @} + */ Index: kernel/arch/ia32/src/proc/thread.c =================================================================== --- kernel/arch/ia32/src/proc/thread.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/proc/thread.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -46,3 +46,2 @@ /** @} */ - Index: kernel/arch/ia32/src/smp/apic.c =================================================================== --- kernel/arch/ia32/src/smp/apic.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/smp/apic.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -578,5 +578,4 @@ #endif /* CONFIG_SMP */ - /** @} - */ - +/** @} + */ Index: kernel/arch/ia32/src/smp/ipi.c =================================================================== --- kernel/arch/ia32/src/smp/ipi.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/smp/ipi.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -45,5 +45,4 @@ #endif /* CONFIG_SMP */ - /** @} +/** @} */ - Index: kernel/arch/ia32/src/smp/mps.c =================================================================== --- kernel/arch/ia32/src/smp/mps.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/smp/mps.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -431,5 +431,4 @@ #endif /* CONFIG_SMP */ - /** @} - */ - +/** @} + */ Index: kernel/arch/ia32/src/smp/smp.c =================================================================== --- kernel/arch/ia32/src/smp/smp.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/smp/smp.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -181,5 +181,4 @@ #endif /* CONFIG_SMP */ - /** @} +/** @} */ - Index: kernel/arch/ia32/src/userspace.c =================================================================== --- kernel/arch/ia32/src/userspace.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia32/src/userspace.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia32 +/** @addtogroup ia32 * @{ */ @@ -84,5 +84,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia64/include/arg.h =================================================================== --- kernel/arch/ia64/include/arg.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/arg.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_ARG_H__ -#define __ia64_ARG_H__ +#ifndef KERN_ia64_ARG_H_ +#define KERN_ia64_ARG_H_ #include @@ -40,5 +40,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/asm.h =================================================================== --- kernel/arch/ia64/include/asm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/asm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_ASM_H__ -#define __ia64_ASM_H__ +#ifndef KERN_ia64_ASM_H_ +#define KERN_ia64_ASM_H_ #include @@ -282,5 +282,4 @@ #endif - /** @} - */ - +/** @} + */ Index: kernel/arch/ia64/include/atomic.h =================================================================== --- kernel/arch/ia64/include/atomic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/atomic.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_ATOMIC_H__ -#define __ia64_ATOMIC_H__ +#ifndef KERN_ia64_ATOMIC_H_ +#define KERN_ia64_ATOMIC_H_ /** Atomic addition. @@ -63,5 +63,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/barrier.h =================================================================== --- kernel/arch/ia64/include/barrier.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/barrier.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_BARRIER_H__ -#define __ia64_BARRIER_H__ +#ifndef KERN_ia64_BARRIER_H_ +#define KERN_ia64_BARRIER_H_ /* @@ -51,5 +51,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/byteorder.h =================================================================== --- kernel/arch/ia64/include/byteorder.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/byteorder.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_BYTEORDER_H__ -#define __ia64_BYTEORDER_H__ +#ifndef KERN_ia64_BYTEORDER_H_ +#define KERN_ia64_BYTEORDER_H_ /* IA-64 is little-endian */ @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/context.h =================================================================== --- kernel/arch/ia64/include/context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_CONTEXT_H__ -#define __ia64_CONTEXT_H__ +#ifndef KERN_ia64_CONTEXT_H_ +#define KERN_ia64_CONTEXT_H_ #include @@ -133,5 +133,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/cpu.h =================================================================== --- kernel/arch/ia64/include/cpu.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/cpu.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ia64_CPU_H__ -#define __ia64_CPU_H__ +#ifndef KERN_ia64_CPU_H_ +#define KERN_ia64_CPU_H_ #include Index: kernel/arch/ia64/include/debug.h =================================================================== --- kernel/arch/ia64/include/debug.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/debug.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64debug ia64 +/** @addtogroup ia64debug ia64 * @ingroup debug * @{ @@ -34,10 +34,9 @@ */ -#ifndef __ia64_DEBUG_H__ -#define __ia64_DEBUG_H__ +#ifndef KERN_ia64_DEBUG_H_ +#define KERN_ia64_DEBUG_H_ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/drivers/it.h =================================================================== --- kernel/arch/ia64/include/drivers/it.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/drivers/it.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_IT_H__ -#define __ia64_IT_H__ +#ifndef KERN_ia64_IT_H_ +#define KERN_ia64_IT_H_ /* @@ -49,5 +49,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/elf.h =================================================================== --- kernel/arch/ia64/include/elf.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/elf.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_ELF_H__ -#define __ia64_ELF_H__ +#ifndef KERN_ia64_ELF_H_ +#define KERN_ia64_ELF_H_ #define ELF_MACHINE EM_IA_64 @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/fpu_context.h =================================================================== --- kernel/arch/ia64/include/fpu_context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/fpu_context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_FPU_CONTEXT_H__ -#define __ia64_FPU_CONTEXT_H__ +#ifndef KERN_ia64_FPU_CONTEXT_H_ +#define KERN_ia64_FPU_CONTEXT_H_ #define ARCH_HAS_FPU 1 @@ -47,8 +47,6 @@ }; - #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/interrupt.h =================================================================== --- kernel/arch/ia64/include/interrupt.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/interrupt.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64interrupt +/** @addtogroup ia64interrupt * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_INTERRUPT_H__ -#define __ia64_INTERRUPT_H__ +#ifndef KERN_ia64_INTERRUPT_H_ +#define KERN_ia64_INTERRUPT_H_ #include @@ -124,5 +124,5 @@ return istate->cr_iip; } -#include + static inline int istate_from_uspace(istate_t *istate) { @@ -140,9 +140,6 @@ extern void disabled_fp_register(uint64_t vector, istate_t *istate); - - #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/memstr.h =================================================================== --- kernel/arch/ia64/include/memstr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/memstr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_MEMSTR_H__ -#define __ia64_MEMSTR_H__ +#ifndef KERN_ia64_MEMSTR_H_ +#define KERN_ia64_MEMSTR_H_ #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) @@ -45,5 +45,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/mm/as.h =================================================================== --- kernel/arch/ia64/include/mm/as.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/mm/as.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64mm +/** @addtogroup ia64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_AS_H__ -#define __ia64_AS_H__ +#ifndef KERN_ia64_AS_H_ +#define KERN_ia64_AS_H_ #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 @@ -49,5 +49,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/mm/asid.h =================================================================== --- kernel/arch/ia64/include/mm/asid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/mm/asid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64mm +/** @addtogroup ia64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_ASID_H__ -#define __ia64_ASID_H__ +#ifndef KERN_ia64_ASID_H_ +#define KERN_ia64_ASID_H_ #ifndef __ASM__ @@ -63,5 +63,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/mm/frame.h =================================================================== --- kernel/arch/ia64/include/mm/frame.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/mm/frame.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64mm +/** @addtogroup ia64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_FRAME_H__ -#define __ia64_FRAME_H__ +#ifndef KERN_ia64_FRAME_H_ +#define KERN_ia64_FRAME_H_ #define FRAME_WIDTH 14 /* 16K */ @@ -51,5 +51,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/mm/memory_init.h =================================================================== --- kernel/arch/ia64/include/mm/memory_init.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/mm/memory_init.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64mm +/** @addtogroup ia64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_MEMORY_INIT_H__ -#define __ia64_MEMORY_INIT_H__ +#ifndef KERN_ia64_MEMORY_INIT_H_ +#define KERN_ia64_MEMORY_INIT_H_ #include @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/mm/page.h =================================================================== --- kernel/arch/ia64/include/mm/page.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/mm/page.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -34,6 +34,6 @@ */ -#ifndef __ia64_PAGE_H__ -#define __ia64_PAGE_H__ +#ifndef KERN_ia64_PAGE_H_ +#define KERN_ia64_PAGE_H_ #include Index: kernel/arch/ia64/include/mm/tlb.h =================================================================== --- kernel/arch/ia64/include/mm/tlb.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/mm/tlb.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64mm +/** @addtogroup ia64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_TLB_H__ -#define __ia64_TLB_H__ +#ifndef KERN_ia64_TLB_H_ +#define KERN_ia64_TLB_H_ #define tlb_arch_init() @@ -101,5 +101,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/mm/vhpt.h =================================================================== --- kernel/arch/ia64/include/mm/vhpt.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/mm/vhpt.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -1,39 +1,38 @@ /* -* Copyright (C) 2006 Jakub Vana -* All rights reserved. -* -* Redistribution and use in source and binary forms, with or without -* modification, are permitted provided that the following conditions -* are met: -* -* - Redistributions of source code must retain the above copyright -* notice, this list of conditions and the following disclaimer. -* - Redistributions in binary form must reproduce the above copyright -* notice, this list of conditions and the following disclaimer in the -* documentation and/or other materials provided with the distribution. -* - The name of the author may not be used to endorse or promote products -* derived from this software without specific prior written permission. -* -* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR -* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES -* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. -* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, -* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT -* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, -* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY -* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT -* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF -* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + * Copyright (C) 2006 Jakub Vana + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * + * - Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * - Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * - The name of the author may not be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR + * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES + * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. + * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, + * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT + * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF + * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ - /** @addtogroup ia64mm +/** @addtogroup ia64mm * @{ */ /** @file */ - - -#ifndef __ia64_VHPT_H__ -#define __ia64_VHPT_H__ + +#ifndef KERN_ia64_VHPT_H_ +#define KERN_ia64_VHPT_H_ #include @@ -56,9 +55,6 @@ void vhpt_invalidate_asid(asid_t asid); - #endif - - /** @} +/** @} */ - Index: kernel/arch/ia64/include/pal/pal.h =================================================================== --- kernel/arch/ia64/include/pal/pal.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/pal/pal.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_PAL_H__ -#define __ia64_PAL_H__ +#ifndef KERN_ia64_PAL_H_ +#define KERN_ia64_PAL_H_ #define PAL_OK 0 /**< Call completed without error. */ @@ -96,6 +96,6 @@ /* - Ski PTCE data -*/ + * Ski PTCE data + */ #define PAL_PTCE_INFO_BASE() (0x100000000LL) #define PAL_PTCE_INFO_COUNT1() (2) @@ -104,8 +104,6 @@ #define PAL_PTCE_INFO_STRIDE2() (0x2000) - #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/proc/task.h =================================================================== --- kernel/arch/ia64/include/proc/task.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/proc/task.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64proc +/** @addtogroup ia64proc * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_TASK_H__ -#define __ia64_TASK_H__ +#ifndef KERN_ia64_TASK_H_ +#define KERN_ia64_TASK_H_ typedef struct { @@ -44,5 +44,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/register.h =================================================================== --- kernel/arch/ia64/include/register.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/register.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_REGISTER_H__ -#define __ia64_REGISTER_H__ +#ifndef KERN_ia64_REGISTER_H_ +#define KERN_ia64_REGISTER_H_ #define CR_IVR_MASK 0xf @@ -275,5 +275,4 @@ #endif - /** @} - */ - +/** @} + */ Index: kernel/arch/ia64/include/ski/ski.h =================================================================== --- kernel/arch/ia64/include/ski/ski.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/ski/ski.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __SKI_H__ -#define __SKI_H__ +#ifndef KERN_ia64_SKI_H_ +#define KERN_ia64_SKI_H_ #include @@ -52,5 +52,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/smp/atomic.h =================================================================== --- kernel/arch/ia64/include/smp/atomic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ (revision ) @@ -1,4 +1,0 @@ - - /** @} - */ - Index: kernel/arch/ia64/include/stack.h =================================================================== --- kernel/arch/ia64/include/stack.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/stack.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ia64_STACK_H__ -#define __ia64_STACK_H__ +#ifndef KERN_ia64_STACK_H_ +#define KERN_ia64_STACK_H_ #define STACK_ITEM_SIZE 8 @@ -43,5 +43,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ia64/include/types.h =================================================================== --- kernel/arch/ia64/include/types.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/include/types.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __TYPES_H__ -#define __TYPES_H__ +#ifndef KERN_ia64_TYPES_H_ +#define KERN_ia64_TYPES_H_ #define NULL 0 @@ -71,3 +71,2 @@ /** @} */ - Index: kernel/arch/ia64/src/ia64.c =================================================================== --- kernel/arch/ia64/src/ia64.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/src/ia64.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -153,5 +153,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia64/src/interrupt.c =================================================================== --- kernel/arch/ia64/src/interrupt.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/src/interrupt.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -217,10 +217,5 @@ } - if (istate->in4 < SYSCALL_END) - return syscall_table[istate->in4](istate->in0, istate->in1, istate->in2, istate->in3); - else - panic("Undefined syscall %d", istate->in4); - - return -1; + return syscall_handler(istate->in0, istate->in1, istate->in2, istate->in3, istate->in4); } Index: kernel/arch/ia64/src/mm/as.c =================================================================== --- kernel/arch/ia64/src/mm/as.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/src/mm/as.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64mm +/** @addtogroup ia64mm * @{ */ @@ -86,5 +86,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia64/src/mm/frame.c =================================================================== --- kernel/arch/ia64/src/mm/frame.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/src/mm/frame.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64mm +/** @addtogroup ia64mm * @{ */ @@ -55,5 +55,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia64/src/mm/page.c =================================================================== --- kernel/arch/ia64/src/mm/page.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/src/mm/page.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -28,5 +28,5 @@ */ - /** @addtogroup ia64mm +/** @addtogroup ia64mm * @{ */ @@ -264,5 +264,4 @@ } - /** @} - */ - +/** @} + */ Index: kernel/arch/ia64/src/mm/vhpt.c =================================================================== --- kernel/arch/ia64/src/mm/vhpt.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/src/mm/vhpt.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -32,10 +32,8 @@ /** @file */ - #include #include #include - static vhpt_entry_t* vhpt_base; Index: kernel/arch/ia64/src/proc/scheduler.c =================================================================== --- kernel/arch/ia64/src/proc/scheduler.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/src/proc/scheduler.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64proc +/** @addtogroup ia64proc * @{ */ @@ -89,5 +89,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia64/src/putchar.c =================================================================== --- kernel/arch/ia64/src/putchar.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/src/putchar.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -41,5 +41,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ia64/src/ski/ski.c =================================================================== --- kernel/arch/ia64/src/ski/ski.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ia64/src/ski/ski.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ia64 +/** @addtogroup ia64 * @{ */ @@ -159,5 +159,4 @@ } - static chardev_operations_t ski_ops = { .resume = ski_kb_enable, @@ -166,5 +165,4 @@ .read = ski_getchar_blocking }; - /** Initialize debug console @@ -189,4 +187,5 @@ } + /** Setup console sysinfo (i.e. Keyboard IRQ) * @@ -201,5 +200,4 @@ } - /** @} - */ - +/** @} + */ Index: kernel/arch/mips32/include/arg.h =================================================================== --- kernel/arch/mips32/include/arg.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/arg.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_ARG_H__ -#define __mips32_ARG_H__ +#ifndef KERN_mips32_ARG_H_ +#define KERN_mips32_ARG_H_ #include Index: kernel/arch/mips32/include/asm.h =================================================================== --- kernel/arch/mips32/include/asm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/asm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_ASM_H__ -#define __mips32_ASM_H__ +#ifndef KERN_mips32_ASM_H_ +#define KERN_mips32_ASM_H_ #include Index: kernel/arch/mips32/include/asm/boot.h =================================================================== --- kernel/arch/mips32/include/asm/boot.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/asm/boot.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_BOOT_H_ -#define __mips32_BOOT_H_ +#ifndef KERN_mips32_BOOT_H_ +#define KERN_mips32_BOOT_H_ @@ -44,3 +44,2 @@ /** @} */ - Index: kernel/arch/mips32/include/asm/regname.h =================================================================== --- kernel/arch/mips32/include/asm/regname.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/asm/regname.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_REGNAME_H_ -#define __mips32_REGNAME_H_ +#ifndef KERN_mips32_REGNAME_H_ +#define KERN_mips32_REGNAME_H_ #define zero 0 @@ -92,6 +92,5 @@ #define eepc 30 - -#endif /* _REGNAME_H_ */ +#endif /* KERN_mips32_REGNAME_H_ */ /** @} Index: kernel/arch/mips32/include/atomic.h =================================================================== --- kernel/arch/mips32/include/atomic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/atomic.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_ATOMIC_H__ -#define __mips32_ATOMIC_H__ +#ifndef KERN_mips32_ATOMIC_H_ +#define KERN_mips32_ATOMIC_H_ #define atomic_inc(x) ((void) atomic_add(x, 1)) Index: kernel/arch/mips32/include/barrier.h =================================================================== --- kernel/arch/mips32/include/barrier.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/barrier.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_BARRIER_H__ -#define __mips32_BARRIER_H__ +#ifndef KERN_mips32_BARRIER_H_ +#define KERN_mips32_BARRIER_H_ /* @@ -50,3 +50,2 @@ /** @} */ - Index: kernel/arch/mips32/include/boot.h =================================================================== --- kernel/arch/mips32/include/boot.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/boot.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,6 +27,6 @@ */ -#ifndef __mips32_BOOT_H__ -#define __mips32_BOOT_H__ +#ifndef KERN_mips32_BOOT_H_ +#define KERN_mips32_BOOT_H_ #define TASKMAP_MAX_RECORDS 32 Index: kernel/arch/mips32/include/byteorder.h =================================================================== --- kernel/arch/mips32/include/byteorder.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/byteorder.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_BYTEORDER_H__ -#define __mips32_BYTEORDER_H__ +#ifndef KERN_mips32_BYTEORDER_H_ +#define KERN_mips32_BYTEORDER_H_ #include Index: kernel/arch/mips32/include/cache.h =================================================================== --- kernel/arch/mips32/include/cache.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/cache.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_CACHE_H__ -#define __mips32_CACHE_H__ +#ifndef KERN_mips32_CACHE_H_ +#define KERN_mips32_CACHE_H_ #include Index: kernel/arch/mips32/include/console.h =================================================================== --- kernel/arch/mips32/include/console.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/console.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,7 +33,6 @@ */ -#ifndef __mips32_CONSOLE_H__ -#define __mips32_CONSOLE_H__ - +#ifndef KERN_mips32_CONSOLE_H_ +#define KERN_mips32_CONSOLE_H_ void console_init(void); Index: kernel/arch/mips32/include/context.h =================================================================== --- kernel/arch/mips32/include/context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_CONTEXT_H__ -#define __mips32_CONTEXT_H__ +#ifndef KERN_mips32_CONTEXT_H_ +#define KERN_mips32_CONTEXT_H_ #include Index: kernel/arch/mips32/include/cp0.h =================================================================== --- kernel/arch/mips32/include/cp0.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/cp0.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_CP0_H__ -#define __mips32_CP0_H__ +#ifndef KERN_mips32_CP0_H_ +#define KERN_mips32_CP0_H_ #include Index: kernel/arch/mips32/include/cpu.h =================================================================== --- kernel/arch/mips32/include/cpu.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/cpu.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_CPU_H__ -#define __mips32_CPU_H__ +#ifndef KERN_mips32_CPU_H_ +#define KERN_mips32_CPU_H_ #include Index: kernel/arch/mips32/include/debug.h =================================================================== --- kernel/arch/mips32/include/debug.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/debug.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,8 +33,6 @@ */ -#ifndef __mips32_DEBUG_H__ -#define __mips23_DEBUG_H__ - - +#ifndef KERN_mips32_DEBUG_H_ +#define KERN_mips23_DEBUG_H_ /** simulator enters the trace mode */ @@ -49,5 +47,4 @@ #define ___intmode() asm volatile ( "\t.word\t0x29\n"); - #endif Index: kernel/arch/mips32/include/debugger.h =================================================================== --- kernel/arch/mips32/include/debugger.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/debugger.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef _mips32_DEBUGGER_H_ -#define _mips32_DEBUGGER_H_ +#ifndef KERN_mips32_DEBUGGER_H_ +#define KERN_mips32_DEBUGGER_H_ #include Index: kernel/arch/mips32/include/drivers/arc.h =================================================================== --- kernel/arch/mips32/include/drivers/arc.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/drivers/arc.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32 +/** @addtogroup mips32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __mips32_ARC_H__ -#define __mips32_ARC_H__ +#ifndef KERN_mips32_ARC_H_ +#define KERN_mips32_ARC_H_ #include @@ -54,5 +54,5 @@ CmResourceTypeProductName, CmResourceTypeSerialNumber -}cm_resource_type; +} cm_resource_type; typedef struct { @@ -75,5 +75,5 @@ }memory; }u; -}__attribute__ ((packed)) cm_resource_descriptor; +} __attribute__ ((packed)) cm_resource_descriptor; typedef struct { @@ -82,5 +82,5 @@ unsigned long count; cm_resource_descriptor descr[1]; -}__attribute__ ((packed)) cm_resource_list; +} __attribute__ ((packed)) cm_resource_list; typedef enum { @@ -138,5 +138,5 @@ TPUAdapter, Anonymous -}arc_component_type; +} arc_component_type; typedef enum { @@ -148,5 +148,5 @@ Input = 32, Output = 64 -}arc_component_flags; +} arc_component_flags; typedef struct { @@ -183,5 +183,5 @@ FirmwareTemporary, FirmwarePermanent -}arc_memorytype_t; +} arc_memorytype_t; typedef struct { @@ -189,10 +189,10 @@ uint32_t basepage; /* *4096 = baseaddr */ uint32_t basecount; -}arc_memdescriptor_t; +} arc_memdescriptor_t; typedef struct { char vendorid[8]; char prodid[8]; -}arc_sysid_t; +} arc_sysid_t; typedef struct { @@ -255,5 +255,5 @@ void *privvector; uint32_t adaptercount; -}__attribute__ ((packed)) arc_sbp; +} __attribute__ ((packed)) arc_sbp; extern int arc_init(void); @@ -266,3 +266,2 @@ /** @} */ - Index: kernel/arch/mips32/include/drivers/msim.h =================================================================== --- kernel/arch/mips32/include/drivers/msim.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/drivers/msim.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32 +/** @addtogroup mips32 * @{ */ @@ -33,10 +33,10 @@ */ -#ifndef _MSIM_H_ -#define _MSIM_H_ +#ifndef KERN_mips32_MSIM_H_ +#define KERN_mips32_MSIM_H_ #include -#define MSIM_VIDEORAM 0xB0000000 +#define MSIM_VIDEORAM 0xB0000000 /** Address of 'keyboard' device. */ #define MSIM_KBD_ADDRESS 0xB0000000 @@ -49,5 +49,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/mips32/include/drivers/serial.h =================================================================== --- kernel/arch/mips32/include/drivers/serial.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/drivers/serial.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32 +/** @addtogroup mips32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __DRV_SERIAL_H__ -#define __DRV_SERIAL_H__ +#ifndef KERN_mips32_SERIAL_H_ +#define KERN_mips32_SERIAL_H_ #include @@ -68,5 +68,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/mips32/include/elf.h =================================================================== --- kernel/arch/mips32/include/elf.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/elf.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_ELF_H__ -#define __mips32_ELF_H__ +#ifndef KERN_mips32_ELF_H_ +#define KERN_mips32_ELF_H_ #define ELF_MACHINE EM_MIPS Index: kernel/arch/mips32/include/exception.h =================================================================== --- kernel/arch/mips32/include/exception.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/exception.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,8 +33,8 @@ */ -#ifndef __mips32_EXCEPTION_H__ -#define __mips32_EXCEPTION_H__ +#ifndef KERN_mips32_EXCEPTION_H_ +#define KERN_mips32_EXCEPTION_H_ -#ifndef __mips32_TYPES_H__ +#ifndef KERN_mips32_TYPES_H_ # include #endif Index: kernel/arch/mips32/include/faddr.h =================================================================== --- kernel/arch/mips32/include/faddr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/faddr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_FADDR_H__ -#define __mips32_FADDR_H__ +#ifndef KERN_mips32_FADDR_H_ +#define KERN_mips32_FADDR_H_ #include Index: kernel/arch/mips32/include/fpu_context.h =================================================================== --- kernel/arch/mips32/include/fpu_context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/fpu_context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_FPU_CONTEXT_H__ -#define __mips32_FPU_CONTEXT_H__ +#ifndef KERN_mips32_FPU_CONTEXT_H_ +#define KERN_mips32_FPU_CONTEXT_H_ #include Index: kernel/arch/mips32/include/interrupt.h =================================================================== --- kernel/arch/mips32/include/interrupt.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/interrupt.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_INTERRUPT_H__ -#define __mips32_INTERRUPT_H__ +#ifndef KERN_mips32_INTERRUPT_H_ +#define KERN_mips32_INTERRUPT_H_ #include Index: kernel/arch/mips32/include/memstr.h =================================================================== --- kernel/arch/mips32/include/memstr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/memstr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_MEMSTR_H__ -#define __mips32_MEMSTR_H__ +#ifndef KERN_mips32_MEMSTR_H_ +#define KERN_mips32_MEMSTR_H_ #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) Index: kernel/arch/mips32/include/mm/as.h =================================================================== --- kernel/arch/mips32/include/mm/as.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/mm/as.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_AS_H__ -#define __mips32_AS_H__ +#ifndef KERN_mips32_AS_H_ +#define KERN_mips32_AS_H_ #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 Index: kernel/arch/mips32/include/mm/asid.h =================================================================== --- kernel/arch/mips32/include/mm/asid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/mm/asid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_ASID_H__ -#define __mips32_ASID_H__ +#ifndef KERN_mips32_ASID_H_ +#define KERN_mips32_ASID_H_ #include @@ -46,3 +46,2 @@ /** @} */ - Index: kernel/arch/mips32/include/mm/frame.h =================================================================== --- kernel/arch/mips32/include/mm/frame.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/mm/frame.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_FRAME_H__ -#define __mips32_FRAME_H__ +#ifndef KERN_mips32_FRAME_H_ +#define KERN_mips32_FRAME_H_ #define FRAME_WIDTH 14 /* 16K */ Index: kernel/arch/mips32/include/mm/memory_init.h =================================================================== --- kernel/arch/mips32/include/mm/memory_init.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/mm/memory_init.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_MEMORY_INIT_H__ -#define __mips32_MEMORY_INIT_H__ +#ifndef KERN_mips32_MEMORY_INIT_H_ +#define KERN_mips32_MEMORY_INIT_H_ #include Index: kernel/arch/mips32/include/mm/page.h =================================================================== --- kernel/arch/mips32/include/mm/page.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/mm/page.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_PAGE_H__ -#define __mips32_PAGE_H__ +#ifndef KERN_mips32_PAGE_H_ +#define KERN_mips32_PAGE_H_ #include Index: kernel/arch/mips32/include/mm/tlb.h =================================================================== --- kernel/arch/mips32/include/mm/tlb.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/mm/tlb.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_TLB_H__ -#define __mips32_TLB_H__ +#ifndef KERN_mips32_TLB_H_ +#define KERN_mips32_TLB_H_ #include Index: kernel/arch/mips32/include/proc/task.h =================================================================== --- kernel/arch/mips32/include/proc/task.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/proc/task.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32proc +/** @addtogroup mips32proc * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __mips32_TASK_H__ -#define __mips32_TASK_H__ +#ifndef KERN_mips32_TASK_H_ +#define KERN_mips32_TASK_H_ typedef struct { @@ -44,5 +44,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/mips32/include/stack.h =================================================================== --- kernel/arch/mips32/include/stack.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/stack.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_STACK_H__ -#define __mips32_STACK_H__ +#ifndef KERN_mips32_STACK_H_ +#define KERN_mips32_STACK_H_ #define STACK_ITEM_SIZE 4 Index: kernel/arch/mips32/include/types.h =================================================================== --- kernel/arch/mips32/include/types.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/include/types.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __mips32_TYPES_H__ -#define __mips32_TYPES_H__ +#ifndef KERN_mips32_TYPES_H_ +#define KERN_mips32_TYPES_H_ #define NULL 0 Index: kernel/arch/mips32/src/cache.c =================================================================== --- kernel/arch/mips32/src/cache.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/cache.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -45,3 +45,2 @@ /** @} */ - Index: kernel/arch/mips32/src/console.c =================================================================== --- kernel/arch/mips32/src/console.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/console.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32 +/** @addtogroup mips32 * @{ */ @@ -65,5 +65,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/mips32/src/ddi/ddi.c =================================================================== --- kernel/arch/mips32/src/ddi/ddi.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/ddi/ddi.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32ddi +/** @addtogroup mips32ddi * @{ */ @@ -56,5 +56,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/mips32/src/debugger.c =================================================================== --- kernel/arch/mips32/src/debugger.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/debugger.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32debug +/** @addtogroup mips32debug * @{ */ @@ -384,5 +384,4 @@ } - /** @} - */ - +/** @} + */ Index: kernel/arch/mips32/src/drivers/arc.c =================================================================== --- kernel/arch/mips32/src/drivers/arc.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/drivers/arc.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32 +/** @addtogroup mips32 * @{ */ @@ -408,6 +408,4 @@ } - - /** @} - */ - +/** @} + */ Index: kernel/arch/mips32/src/drivers/msim.c =================================================================== --- kernel/arch/mips32/src/drivers/msim.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/drivers/msim.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32 +/** @addtogroup mips32 * @{ */ @@ -127,5 +127,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/mips32/src/drivers/serial.c =================================================================== --- kernel/arch/mips32/src/drivers/serial.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/drivers/serial.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32 +/** @addtogroup mips32 * @{ */ @@ -144,5 +144,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/mips32/src/interrupt.c =================================================================== --- kernel/arch/mips32/src/interrupt.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/interrupt.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -144,3 +144,2 @@ /** @} */ - Index: kernel/arch/mips32/src/mips32.c =================================================================== --- kernel/arch/mips32/src/mips32.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/mips32.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -32,5 +32,4 @@ /** @file */ - #include @@ -180,5 +179,4 @@ } - /** @} */ Index: kernel/arch/mips32/src/mm/as.c =================================================================== --- kernel/arch/mips32/src/mm/as.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/mm/as.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32mm +/** @addtogroup mips32mm * @{ */ @@ -73,6 +73,4 @@ } - - /** @} +/** @} */ - Index: kernel/arch/mips32/src/mm/page.c =================================================================== --- kernel/arch/mips32/src/mm/page.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/mips32/src/mm/page.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup mips32mm +/** @addtogroup mips32mm * @{ */ @@ -51,5 +51,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/arg.h =================================================================== --- kernel/arch/ppc32/include/arg.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/arg.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_ARG_H__ -#define __ppc32_ARG_H__ +#ifndef KERN_ppc32_ARG_H_ +#define KERN_ppc32_ARG_H_ #include @@ -40,5 +40,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/asm.h =================================================================== --- kernel/arch/ppc32/include/asm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/asm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_ASM_H__ -#define __ppc32_ASM_H__ +#ifndef KERN_ppc32_ASM_H_ +#define KERN_ppc32_ASM_H_ #include @@ -152,5 +152,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/asm/regname.h =================================================================== --- kernel/arch/ppc32/include/asm/regname.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/asm/regname.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_REGNAME_H__ -#define __ppc32_REGNAME_H__ +#ifndef KERN_ppc32_REGNAME_H_ +#define KERN_ppc32_REGNAME_H_ /* Condition Register Bit Fields */ Index: kernel/arch/ppc32/include/atomic.h =================================================================== --- kernel/arch/ppc32/include/atomic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/atomic.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_ATOMIC_H__ -#define __ppc32_ATOMIC_H__ +#ifndef KERN_ppc32_ATOMIC_H_ +#define KERN_ppc32_ATOMIC_H_ static inline void atomic_inc(atomic_t *val) @@ -94,5 +94,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/barrier.h =================================================================== --- kernel/arch/ppc32/include/barrier.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/barrier.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_BARRIER_H__ -#define __ppc32_BARRIER_H__ +#ifndef KERN_ppc32_BARRIER_H_ +#define KERN_ppc32_BARRIER_H_ #define CS_ENTER_BARRIER() asm volatile ("" ::: "memory") @@ -45,5 +45,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/boot/boot.h =================================================================== --- kernel/arch/ppc32/include/boot/boot.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/boot/boot.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_BOOT_H__ -#define __ppc32_BOOT_H__ +#ifndef KERN_ppc32_BOOT_H_ +#define KERN_ppc32_BOOT_H_ #define BOOT_OFFSET 0x8000 Index: kernel/arch/ppc32/include/byteorder.h =================================================================== --- kernel/arch/ppc32/include/byteorder.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/byteorder.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_BYTEORDER_H__ -#define __ppc32_BYTEORDER_H__ +#ifndef KERN_ppc32_BYTEORDER_H_ +#define KERN_ppc32_BYTEORDER_H_ #include @@ -70,5 +70,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/context.h =================================================================== --- kernel/arch/ppc32/include/context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,8 +33,8 @@ */ -#ifndef __ppc32_CONTEXT_H__ -#define __ppc32_CONTEXT_H__ +#ifndef KERN_ppc32_CONTEXT_H_ +#define KERN_ppc32_CONTEXT_H_ -#ifndef __ppc32_TYPES_H__ +#ifndef KERN_ppc32_TYPES_H_ # include #endif @@ -74,5 +74,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/context_offset.h =================================================================== --- kernel/arch/ppc32/include/context_offset.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/context_offset.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -45,5 +45,2 @@ #define OFFSET_FPSCR 0x90 - /** @} - */ - Index: kernel/arch/ppc32/include/cpu.h =================================================================== --- kernel/arch/ppc32/include/cpu.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/cpu.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_CPU_H__ -#define __ppc32_CPU_H__ +#ifndef KERN_ppc32_CPU_H_ +#define KERN_ppc32_CPU_H_ #include Index: kernel/arch/ppc32/include/cpuid.h =================================================================== --- kernel/arch/ppc32/include/cpuid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/cpuid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_CPUID_H__ -#define __ppc32_CPUID_H__ +#ifndef KERN_ppc32_CPUID_H_ +#define KERN_ppc32_CPUID_H_ #include Index: kernel/arch/ppc32/include/debug.h =================================================================== --- kernel/arch/ppc32/include/debug.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/debug.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32debug +/** @addtogroup ppc32debug * @{ */ @@ -33,10 +33,9 @@ */ -#ifndef __ppc32_DEBUG_H__ -#define __ppc32_DEBUG_H__ +#ifndef KERN_ppc32_DEBUG_H_ +#define KERN_ppc32_DEBUG_H_ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/drivers/cuda.h =================================================================== --- kernel/arch/ppc32/include/drivers/cuda.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/drivers/cuda.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __CUDA_H__ -#define __CUDA_H__ +#ifndef KERN_ppc32_CUDA_H_ +#define KERN_ppc32_CUDA_H_ #include Index: kernel/arch/ppc32/include/drivers/pic.h =================================================================== --- kernel/arch/ppc32/include/drivers/pic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/drivers/pic.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __PIC_H_ -#define __PIC_H_ +#ifndef KERN_ppc32_PIC_H_ +#define KERN_ppc32_PIC_H_ #define PIC_PENDING_LOW 8 Index: kernel/arch/ppc32/include/elf.h =================================================================== --- kernel/arch/ppc32/include/elf.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/elf.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_ELF_H__ -#define __ppc32_ELF_H__ +#ifndef KERN_ppc32_ELF_H_ +#define KERN_ppc32_ELF_H_ #define ELF_MACHINE EM_PPC @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/exception.h =================================================================== --- kernel/arch/ppc32/include/exception.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/exception.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,8 +33,8 @@ */ -#ifndef __ppc32_EXCEPTION_H__ -#define __ppc32_EXCEPTION_H__ +#ifndef KERN_ppc32_EXCEPTION_H_ +#define KERN_ppc32_EXCEPTION_H_ -#ifndef __ppc32_TYPES_H__ +#ifndef KERN_ppc32_TYPES_H_ # include #endif Index: kernel/arch/ppc32/include/faddr.h =================================================================== --- kernel/arch/ppc32/include/faddr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/faddr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_FADDR_H__ -#define __ppc32_FADDR_H__ +#ifndef KERN_ppc32_FADDR_H_ +#define KERN_ppc32_FADDR_H_ #include @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/fpu_context.h =================================================================== --- kernel/arch/ppc32/include/fpu_context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/fpu_context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,8 +33,8 @@ */ -#ifndef __ppc32_FPU_CONTEXT_H__ -#define __ppc32_FPU_CONTEXT_H__ +#ifndef KERN_ppc32_FPU_CONTEXT_H_ +#define KERN_ppc32_FPU_CONTEXT_H_ -#ifndef __ppc32_TYPES_H__ +#ifndef KERN_ppc32_TYPES_H_ # include #endif @@ -64,5 +64,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/interrupt.h =================================================================== --- kernel/arch/ppc32/include/interrupt.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/interrupt.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,11 +33,10 @@ */ -#ifndef __ppc32_INTERRUPT_H__ -#define __ppc32_INTERRUPT_H__ +#ifndef KERN_ppc32_INTERRUPT_H_ +#define KERN_ppc32_INTERRUPT_H_ #include #define IRQ_COUNT 64 - #define IVT_ITEMS (16 + IRQ_COUNT) Index: kernel/arch/ppc32/include/memstr.h =================================================================== --- kernel/arch/ppc32/include/memstr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/memstr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_MEMSTR_H__ -#define __ppc32_MEMSTR_H__ +#ifndef KERN_ppc32_MEMSTR_H_ +#define KERN_ppc32_MEMSTR_H_ #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) @@ -45,5 +45,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/mm/as.h =================================================================== --- kernel/arch/ppc32/include/mm/as.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/mm/as.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_AS_H__ -#define __ppc32_AS_H__ +#ifndef KERN_ppc32_AS_H_ +#define KERN_ppc32_AS_H_ #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 Index: kernel/arch/ppc32/include/mm/asid.h =================================================================== --- kernel/arch/ppc32/include/mm/asid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/mm/asid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_ASID_H__ -#define __ppc32_ASID_H__ +#ifndef KERN_ppc32_ASID_H_ +#define KERN_ppc32_ASID_H_ #include Index: kernel/arch/ppc32/include/mm/frame.h =================================================================== --- kernel/arch/ppc32/include/mm/frame.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/mm/frame.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_FRAME_H__ -#define __ppc32_FRAME_H__ +#ifndef KERN_ppc32_FRAME_H_ +#define KERN_ppc32_FRAME_H_ #define FRAME_WIDTH 12 /* 4K */ Index: kernel/arch/ppc32/include/mm/memory_init.h =================================================================== --- kernel/arch/ppc32/include/mm/memory_init.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/mm/memory_init.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_MEMORY_INIT_H__ -#define __ppc32_MEMORY_INIT_H__ +#ifndef KERN_ppc32_MEMORY_INIT_H_ +#define KERN_ppc32_MEMORY_INIT_H_ #include Index: kernel/arch/ppc32/include/mm/tlb.h =================================================================== --- kernel/arch/ppc32/include/mm/tlb.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/mm/tlb.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_TLB_H__ -#define __ppc32_TLB_H__ +#ifndef KERN_ppc32_TLB_H_ +#define KERN_ppc32_TLB_H_ typedef struct { Index: kernel/arch/ppc32/include/proc/task.h =================================================================== --- kernel/arch/ppc32/include/proc/task.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/proc/task.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32proc +/** @addtogroup ppc32proc * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_TASK_H__ -#define __ppc32_TASK_H__ +#ifndef KERN_ppc32_TASK_H_ +#define KERN_ppc32_TASK_H_ typedef struct { @@ -44,5 +44,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc32/include/types.h =================================================================== --- kernel/arch/ppc32/include/types.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/include/types.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc32_TYPES_H__ -#define __ppc32_TYPES_H__ +#ifndef KERN_ppc32_TYPES_H_ +#define KERN_ppc32_TYPES_H_ #define NULL 0 Index: kernel/arch/ppc32/src/ddi/ddi.c =================================================================== --- kernel/arch/ppc32/src/ddi/ddi.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/src/ddi/ddi.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32ddi +/** @addtogroup ppc32ddi * @{ */ @@ -53,5 +53,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ppc32/src/drivers/pic.c =================================================================== --- kernel/arch/ppc32/src/drivers/pic.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc32/src/drivers/pic.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc32 +/** @addtogroup ppc32 * @{ */ @@ -91,5 +91,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/arg.h =================================================================== --- kernel/arch/ppc64/include/arg.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/arg.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_ARG_H__ -#define __ppc64_ARG_H__ +#ifndef KERN_ppc64_ARG_H_ +#define KERN_ppc64_ARG_H_ #include @@ -40,5 +40,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/asm.h =================================================================== --- kernel/arch/ppc64/include/asm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/asm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_ASM_H__ -#define __ppc64_ASM_H__ +#ifndef KERN_ppc64_ASM_H_ +#define KERN_ppc64_ASM_H_ #include @@ -158,5 +158,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/asm/regname.h =================================================================== --- kernel/arch/ppc64/include/asm/regname.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/asm/regname.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_REGNAME_H__ -#define __ppc64_REGNAME_H__ +#ifndef KERN_ppc64_REGNAME_H_ +#define KERN_ppc64_REGNAME_H_ /* Condition Register Bit Fields */ @@ -212,5 +212,4 @@ #endif - /** @} - */ - +/** @} + */ Index: kernel/arch/ppc64/include/atomic.h =================================================================== --- kernel/arch/ppc64/include/atomic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/atomic.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_ATOMIC_H__ -#define __ppc64_ATOMIC_H__ +#ifndef KERN_ppc64_ATOMIC_H_ +#define KERN_ppc64_ATOMIC_H_ static inline void atomic_inc(atomic_t *val) @@ -94,5 +94,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/barrier.h =================================================================== --- kernel/arch/ppc64/include/barrier.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/barrier.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_BARRIER_H__ -#define __ppc64_BARRIER_H__ +#ifndef KERN_ppc64_BARRIER_H_ +#define KERN_ppc64_BARRIER_H_ #define CS_ENTER_BARRIER() asm volatile ("" ::: "memory") @@ -45,5 +45,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/boot/boot.h =================================================================== --- kernel/arch/ppc64/include/boot/boot.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/boot/boot.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_BOOT_H__ -#define __ppc64_BOOT_H__ +#ifndef KERN_ppc64_BOOT_H_ +#define KERN_ppc64_BOOT_H_ #define BOOT_OFFSET 0x4000 @@ -89,5 +89,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/byteorder.h =================================================================== --- kernel/arch/ppc64/include/byteorder.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/byteorder.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_BYTEORDER_H__ -#define __ppc64_BYTEORDER_H__ +#ifndef KERN_ppc64_BYTEORDER_H_ +#define KERN_ppc64_BYTEORDER_H_ #include @@ -70,5 +70,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/context.h =================================================================== --- kernel/arch/ppc64/include/context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,8 +33,8 @@ */ -#ifndef __ppc64_CONTEXT_H__ -#define __ppc64_CONTEXT_H__ +#ifndef KERN_ppc64_CONTEXT_H_ +#define KERN_ppc64_CONTEXT_H_ -#ifndef __ppc64_TYPES_H__ +#ifndef KERN_ppc64_TYPES_H_ # include #endif @@ -74,5 +74,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/context_offset.h =================================================================== --- kernel/arch/ppc64/include/context_offset.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/context_offset.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -44,6 +44,2 @@ #define OFFSET_FR31 0x88 #define OFFSET_FPSCR 0x90 - - /** @} - */ - Index: kernel/arch/ppc64/include/cpu.h =================================================================== --- kernel/arch/ppc64/include/cpu.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/cpu.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_CPU_H__ -#define __ppc64_CPU_H__ +#ifndef KERN_ppc64_CPU_H_ +#define KERN_ppc64_CPU_H_ #include Index: kernel/arch/ppc64/include/cpuid.h =================================================================== --- kernel/arch/ppc64/include/cpuid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/cpuid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_CPUID_H__ -#define __ppc64_CPUID_H__ +#ifndef KERN_ppc64_CPUID_H_ +#define KERN_ppc64_CPUID_H_ #include Index: kernel/arch/ppc64/include/debug.h =================================================================== --- kernel/arch/ppc64/include/debug.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/debug.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64debug +/** @addtogroup ppc64debug * @{ */ @@ -33,10 +33,9 @@ */ -#ifndef __ppc64_DEBUG_H__ -#define __ppc64_DEBUG_H__ +#ifndef KERN_ppc64_DEBUG_H_ +#define KERN_ppc64_DEBUG_H_ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/elf.h =================================================================== --- kernel/arch/ppc64/include/elf.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/elf.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_ELF_H__ -#define __ppc64_ELF_H__ +#ifndef KERN_ppc64_ELF_H_ +#define KERN_ppc64_ELF_H_ #define ELF_MACHINE EM_PPC64 @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/exception.h =================================================================== --- kernel/arch/ppc64/include/exception.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/exception.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,8 +33,8 @@ */ -#ifndef __ppc64_EXCEPTION_H__ -#define __ppc64_EXCEPTION_H__ +#ifndef KERN_ppc64_EXCEPTION_H_ +#define KERN_ppc64_EXCEPTION_H_ -#ifndef __ppc64_TYPES_H__ +#ifndef KERN_ppc64_TYPES_H_ # include #endif @@ -101,5 +101,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/faddr.h =================================================================== --- kernel/arch/ppc64/include/faddr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/faddr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_FADDR_H__ -#define __ppc64_FADDR_H__ +#ifndef KERN_ppc64_FADDR_H_ +#define KERN_ppc64_FADDR_H_ #include @@ -42,5 +42,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/fpu_context.h =================================================================== --- kernel/arch/ppc64/include/fpu_context.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/fpu_context.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,8 +33,8 @@ */ -#ifndef __ppc64_FPU_CONTEXT_H__ -#define __ppc64_FPU_CONTEXT_H__ +#ifndef KERN_ppc64_FPU_CONTEXT_H_ +#define KERN_ppc64_FPU_CONTEXT_H_ -#ifndef __ppc64_TYPES_H__ +#ifndef KERN_ppc64_TYPES_H_ # include #endif @@ -64,5 +64,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/interrupt.h =================================================================== --- kernel/arch/ppc64/include/interrupt.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/interrupt.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64interrupt +/** @addtogroup ppc64interrupt * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_INTERRUPT_H__ -#define __ppc64_INTERRUPT_H__ +#ifndef KERN_ppc64_INTERRUPT_H_ +#define KERN_ppc64_INTERRUPT_H_ #include @@ -49,5 +49,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/memstr.h =================================================================== --- kernel/arch/ppc64/include/memstr.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/memstr.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_MEMSTR_H__ -#define __ppc64_MEMSTR_H__ +#ifndef KERN_ppc64_MEMSTR_H_ +#define KERN_ppc64_MEMSTR_H_ #define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt)) @@ -45,5 +45,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/mm/as.h =================================================================== --- kernel/arch/ppc64/include/mm/as.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/mm/as.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64mm +/** @addtogroup ppc64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_AS_H__ -#define __ppc64_AS_H__ +#ifndef KERN_ppc64_AS_H_ +#define KERN_ppc64_AS_H_ #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 @@ -51,5 +51,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/mm/asid.h =================================================================== --- kernel/arch/ppc64/include/mm/asid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/mm/asid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64mm +/** @addtogroup ppc64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_ASID_H__ -#define __ppc64_ASID_H__ +#ifndef KERN_ppc64_ASID_H_ +#define KERN_ppc64_ASID_H_ typedef int asid_t; @@ -45,5 +45,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/mm/frame.h =================================================================== --- kernel/arch/ppc64/include/mm/frame.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/mm/frame.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64mm +/** @addtogroup ppc64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_FRAME_H__ -#define __ppc64_FRAME_H__ +#ifndef KERN_ppc64_FRAME_H_ +#define KERN_ppc64_FRAME_H_ #define FRAME_WIDTH 12 /* 4K */ @@ -53,5 +53,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/mm/memory_init.h =================================================================== --- kernel/arch/ppc64/include/mm/memory_init.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/mm/memory_init.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64mm +/** @addtogroup ppc64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_MEMORY_INIT_H__ -#define __ppc64_MEMORY_INIT_H__ +#ifndef KERN_ppc64_MEMORY_INIT_H_ +#define KERN_ppc64_MEMORY_INIT_H_ #include @@ -44,5 +44,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/mm/page.h =================================================================== --- kernel/arch/ppc64/include/mm/page.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/mm/page.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64mm +/** @addtogroup ppc64mm * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_PAGE_H__ -#define __ppc64_PAGE_H__ +#ifndef KERN_ppc64_PAGE_H_ +#define KERN_ppc64_PAGE_H_ #include @@ -159,5 +159,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/mm/tlb.h =================================================================== --- kernel/arch/ppc64/include/mm/tlb.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/mm/tlb.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64mm +/** @addtogroup ppc64mm * @{ */ @@ -33,11 +33,9 @@ */ -#ifndef __ppc64_TLB_H__ -#define __ppc64_TLB_H__ - +#ifndef KERN_ppc64_TLB_H_ +#define KERN_ppc64_TLB_H_ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/proc/task.h =================================================================== --- kernel/arch/ppc64/include/proc/task.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/proc/task.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64proc +/** @addtogroup ppc64proc * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_TASK_H__ -#define __ppc64_TASK_H__ +#ifndef KERN_ppc64_TASK_H_ +#define KERN_ppc64_TASK_H_ typedef struct { @@ -44,5 +44,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/include/proc/thread.h =================================================================== --- kernel/arch/ppc64/include/proc/thread.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/proc/thread.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -47,3 +47,2 @@ /** @} */ - Index: kernel/arch/ppc64/include/types.h =================================================================== --- kernel/arch/ppc64/include/types.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/include/types.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64 +/** @addtogroup ppc64 * @{ */ @@ -33,6 +33,6 @@ */ -#ifndef __ppc64_TYPES_H__ -#define __ppc64_TYPES_H__ +#ifndef KERN_ppc64_TYPES_H_ +#define KERN_ppc64_TYPES_H_ #define NULL 0 @@ -66,5 +66,4 @@ #endif - /** @} +/** @} */ - Index: kernel/arch/ppc64/src/ddi/ddi.c =================================================================== --- kernel/arch/ppc64/src/ddi/ddi.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/src/ddi/ddi.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64ddi +/** @addtogroup ppc64ddi * @{ */ @@ -53,5 +53,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ppc64/src/interrupt.c =================================================================== --- kernel/arch/ppc64/src/interrupt.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/src/interrupt.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64interrupt +/** @addtogroup ppc64interrupt * @{ */ @@ -72,5 +72,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ppc64/src/mm/frame.c =================================================================== --- kernel/arch/ppc64/src/mm/frame.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/src/mm/frame.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64mm +/** @addtogroup ppc64mm * @{ */ @@ -68,5 +68,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ppc64/src/mm/memory_init.c =================================================================== --- kernel/arch/ppc64/src/mm/memory_init.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/src/mm/memory_init.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64mm +/** @addtogroup ppc64mm * @{ */ @@ -53,5 +53,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/ppc64/src/mm/page.c =================================================================== --- kernel/arch/ppc64/src/mm/page.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/src/mm/page.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64mm +/** @addtogroup ppc64mm * @{ */ @@ -304,5 +304,4 @@ } - /** @} - */ - +/** @} + */ Index: kernel/arch/ppc64/src/proc/scheduler.c =================================================================== --- kernel/arch/ppc64/src/proc/scheduler.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/ppc64/src/proc/scheduler.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,5 +27,5 @@ */ - /** @addtogroup ppc64proc +/** @addtogroup ppc64proc * @{ */ @@ -60,5 +60,4 @@ } - /** @} +/** @} */ - Index: kernel/arch/sparc64/Makefile.inc =================================================================== --- kernel/arch/sparc64/Makefile.inc (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/sparc64/Makefile.inc (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -78,5 +78,4 @@ DEFS += -DKBD_ADDR_OVRD=0x1fff13083f8ULL - DEFS += -DFB_INVERT_COLORS endif Index: kernel/arch/sparc64/include/atomic.h =================================================================== --- kernel/arch/sparc64/include/atomic.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/sparc64/include/atomic.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -51,17 +51,12 @@ { uint64_t a, b; - volatile uint64_t x = (uint64_t) &val->count; - __asm__ volatile ( - "0:\n" - "ldx %0, %1\n" - "add %1, %3, %2\n" - "casx %0, %1, %2\n" - "cmp %1, %2\n" - "bne 0b\n" /* The operation failed and must be attempted again if a != b. */ - "nop\n" - : "=m" (*((uint64_t *)x)), "=r" (a), "=r" (b) - : "r" (i) - ); + do { + volatile uintptr_t x = (uint64_t) &val->count; + + a = *((uint64_t *) x); + b = a + i; + __asm__ volatile ("casx %0, %1, %2\n": "+m" (*((uint64_t *)x)), "+r" (a), "+r" (b)); + } while (a != b); return a; Index: kernel/arch/sparc64/include/context_offset.h =================================================================== --- kernel/arch/sparc64/include/context_offset.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/sparc64/include/context_offset.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -20,3 +20,2 @@ #define OFFSET_L7 0x88 #define OFFSET_CLEANWIN 0x98 - Index: kernel/arch/sparc64/include/trap/trap_table.h =================================================================== --- kernel/arch/sparc64/include/trap/trap_table.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/sparc64/include/trap/trap_table.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -107,3 +107,2 @@ /** @} */ - Index: kernel/arch/sparc64/src/console.c =================================================================== --- kernel/arch/sparc64/src/console.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/sparc64/src/console.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -116,4 +116,5 @@ #endif } + /** @} */ Index: kernel/arch/sparc64/src/mm/as.c =================================================================== --- kernel/arch/sparc64/src/mm/as.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/sparc64/src/mm/as.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -63,3 +63,2 @@ /** @} */ - Index: kernel/arch/sparc64/src/mm/page.c =================================================================== --- kernel/arch/sparc64/src/mm/page.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/sparc64/src/mm/page.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -91,5 +91,5 @@ order = 0; else - order = (fnzb32(size - 1) + 1) - FRAME_WIDTH; + order = (fnzb64(size - 1) + 1) - FRAME_WIDTH; /* Index: kernel/arch/sparc64/src/trap/syscall.c =================================================================== --- kernel/arch/sparc64/src/trap/syscall.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/sparc64/src/trap/syscall.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -43,8 +43,5 @@ unative_t syscall(int n, istate_t *istate, unative_t a1, unative_t a2, unative_t a3, unative_t a4) { - if (n >= TT_TRAP_INSTRUCTION(0) && n <= TT_TRAP_INSTRUCTION_LAST) - return syscall_table[n - TT_TRAP_INSTRUCTION(0)](a1, a2, a3, a4); - else - panic("Undefined syscall %d\n", n - TT_TRAP_INSTRUCTION(0)); + return syscall_handler(a1, a2, a3, a4, n - TT_TRAP_INSTRUCTION(0)); } Index: kernel/arch/sparc64/src/trap/trap.c =================================================================== --- kernel/arch/sparc64/src/trap/trap.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/sparc64/src/trap/trap.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -54,3 +54,2 @@ /** @} */ - Index: kernel/arch/xen32/include/asm.h =================================================================== --- kernel/arch/xen32/include/asm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/asm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -35,6 +35,6 @@ */ -#ifndef __xen32_ASM_H__ -#define __xen32_ASM_H__ +#ifndef KERN_xen32_ASM_H_ +#define KERN_xen32_ASM_H_ #include Index: kernel/arch/xen32/include/boot/boot.h =================================================================== --- kernel/arch/xen32/include/boot/boot.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/boot/boot.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __xen32_BOOT_H__ -#define __xen32_BOOT_H__ +#ifndef KERN_xen32_BOOT_H_ +#define KERN_xen32_BOOT_H_ #define GUEST_CMDLINE 1024 Index: kernel/arch/xen32/include/drivers/xconsole.h =================================================================== --- kernel/arch/xen32/include/drivers/xconsole.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/drivers/xconsole.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __XCONSOLE_H__ -#define __XCONSOLE_H__ +#ifndef KERN_xen32_XCONSOLE_H_ +#define KERN_xen32_XCONSOLE_H_ #include Index: kernel/arch/xen32/include/hypercall.h =================================================================== --- kernel/arch/xen32/include/hypercall.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/hypercall.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -27,13 +27,11 @@ */ -#ifndef __xen32_HYPERCALL_H__ -#define __xen32_HYPERCALL_H__ +#ifndef KERN_xen32_HYPERCALL_H_ +#define KERN_xen32_HYPERCALL_H_ #include #include - typedef uint16_t domid_t; - typedef struct { Index: kernel/arch/xen32/include/mm/as.h =================================================================== --- kernel/arch/xen32/include/mm/as.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/mm/as.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __xen32_AS_H__ -#define __xen32_AS_H__ +#ifndef KERN_xen32_AS_H_ +#define KERN_xen32_AS_H_ #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0 Index: kernel/arch/xen32/include/mm/asid.h =================================================================== --- kernel/arch/xen32/include/mm/asid.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/mm/asid.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -40,6 +40,6 @@ */ -#ifndef __xen32_ASID_H__ -#define __xen32_ASID_H__ +#ifndef KERN_xen32_ASID_H_ +#define KERN_xen32_ASID_H_ typedef int asid_t; Index: kernel/arch/xen32/include/mm/frame.h =================================================================== --- kernel/arch/xen32/include/mm/frame.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/mm/frame.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __xen32_FRAME_H__ -#define __xen32_FRAME_H__ +#ifndef KERN_xen32_FRAME_H_ +#define KERN_xen32_FRAME_H_ #define FRAME_WIDTH 12 /* 4K */ Index: kernel/arch/xen32/include/mm/memory_init.h =================================================================== --- kernel/arch/xen32/include/mm/memory_init.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/mm/memory_init.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -34,6 +34,6 @@ */ -#ifndef __xen32_MEMORY_INIT_H__ -#define __xen32_MEMORY_INIT_H__ +#ifndef KERN_xen32_MEMORY_INIT_H_ +#define KERN_xen32_MEMORY_INIT_H_ #include Index: kernel/arch/xen32/include/mm/page.h =================================================================== --- kernel/arch/xen32/include/mm/page.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/mm/page.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __xen32_PAGE_H__ -#define __xen32_PAGE_H__ +#ifndef KERN_xen32_PAGE_H_ +#define KERN_xen32_PAGE_H_ #include Index: kernel/arch/xen32/include/mm/tlb.h =================================================================== --- kernel/arch/xen32/include/mm/tlb.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/mm/tlb.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __xen32_TLB_H__ -#define __xen32_TLB_H__ +#ifndef KERN_xen32_TLB_H_ +#define KERN_xen32_TLB_H_ #define tlb_arch_init() Index: kernel/arch/xen32/include/pm.h =================================================================== --- kernel/arch/xen32/include/pm.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/pm.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __PM_H__ -#define __PM_H__ +#ifndef KERN_xen32_PM_H_ +#define KERN_xen32_PM_H_ #define IDT_ITEMS 64 Index: kernel/arch/xen32/include/types.h =================================================================== --- kernel/arch/xen32/include/types.h (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/include/types.h (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -33,6 +33,6 @@ */ -#ifndef __TYPES_H__ -#define __TYPES_H__ +#ifndef KERN_xen32_TYPES_H_ +#define KERN_xen32_TYPES_H_ #define NULL 0 Index: kernel/arch/xen32/src/interrupt.c =================================================================== --- kernel/arch/xen32/src/interrupt.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/src/interrupt.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -207,3 +207,2 @@ /** @} */ - Index: kernel/arch/xen32/src/mm/memory_init.c =================================================================== --- kernel/arch/xen32/src/mm/memory_init.c (revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13) +++ kernel/arch/xen32/src/mm/memory_init.c (revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c) @@ -49,5 +49,4 @@ } - /** @} */