Index: kernel/arch/abs32le/src/cpu/cpu.c =================================================================== --- kernel/arch/abs32le/src/cpu/cpu.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/abs32le/src/cpu/cpu.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -39,5 +39,4 @@ #include - void fpu_disable(void) { Index: kernel/arch/abs32le/src/smc.c =================================================================== --- kernel/arch/abs32le/src/smc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/abs32le/src/smc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -33,3 +33,2 @@ compiler_barrier(); } - Index: kernel/arch/amd64/include/arch/boot/memmap_struct.h =================================================================== --- kernel/arch/amd64/include/arch/boot/memmap_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/amd64/include/arch/boot/memmap_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -47,3 +47,2 @@ #endif #endif - Index: kernel/arch/amd64/include/arch/context_struct.h =================================================================== --- kernel/arch/amd64/include/arch/context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/amd64/include/arch/context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -65,3 +65,2 @@ #endif #endif - Index: kernel/arch/amd64/include/arch/istate_struct.h =================================================================== --- kernel/arch/amd64/include/arch/istate_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/amd64/include/arch/istate_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -95,3 +95,2 @@ #endif #endif - Index: kernel/arch/amd64/include/arch/kseg_struct.h =================================================================== --- kernel/arch/amd64/include/arch/kseg_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/amd64/include/arch/kseg_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -47,3 +47,2 @@ #endif #endif - Index: kernel/arch/amd64/include/arch/mm/ptl.h =================================================================== --- kernel/arch/amd64/include/arch/mm/ptl.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/amd64/include/arch/mm/ptl.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -45,5 +45,4 @@ #define PTL_2MB_PAGE (1 << 7) - #endif Index: kernel/arch/amd64/include/arch/pm.h =================================================================== --- kernel/arch/amd64/include/arch/pm.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/amd64/include/arch/pm.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -43,5 +43,4 @@ #define IDT_ITEMS 64 #define GDT_ITEMS 8 - #define NULL_DES 0 Index: kernel/arch/amd64/src/cpu/cpu.c =================================================================== --- kernel/arch/amd64/src/cpu/cpu.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/amd64/src/cpu/cpu.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -65,5 +65,4 @@ "GenuineIntel" }; - /** Setup flags on processor so that we can use the FPU Index: kernel/arch/amd64/src/smc.c =================================================================== --- kernel/arch/amd64/src/smc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/amd64/src/smc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -33,3 +33,2 @@ compiler_barrier(); } - Index: kernel/arch/arm32/include/arch/context_struct.h =================================================================== --- kernel/arch/arm32/include/arch/context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -55,3 +55,2 @@ #endif - Index: kernel/arch/arm32/include/arch/cp15.h =================================================================== --- kernel/arch/arm32/include/arch/cp15.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/cp15.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -584,5 +584,4 @@ CONTROL_REG_GEN_WRITE(PMCCNTR, c9, 0, c13, 0); - /*c10 has tons of reserved too */ CONTROL_REG_GEN_READ(PRRR, c10, 0, c2, 0); /* no PAE */ Index: kernel/arch/arm32/include/arch/istate_struct.h =================================================================== --- kernel/arch/arm32/include/arch/istate_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/istate_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -56,3 +56,2 @@ #endif - Index: kernel/arch/arm32/include/arch/mach/beagleboardxm/beagleboardxm.h =================================================================== --- kernel/arch/arm32/include/arch/mach/beagleboardxm/beagleboardxm.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/mach/beagleboardxm/beagleboardxm.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -46,3 +46,2 @@ /** @} */ - Index: kernel/arch/arm32/include/arch/mach/beaglebone/beaglebone.h =================================================================== --- kernel/arch/arm32/include/arch/mach/beaglebone/beaglebone.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/mach/beaglebone/beaglebone.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -46,3 +46,2 @@ /** @} */ - Index: kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h =================================================================== --- kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -97,5 +97,4 @@ } icp_hw_map_t; - extern void icp_init(void); extern void icp_output_init(void); Index: kernel/arch/arm32/include/arch/machine_func.h =================================================================== --- kernel/arch/arm32/include/arch/machine_func.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/machine_func.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -68,8 +68,6 @@ extern void machine_init(void); - /** Starts timer. */ extern void machine_timer_irq_start(void); - /** Halts CPU. */ @@ -89,5 +87,4 @@ */ extern void machine_irq_exception(unsigned int exc_no, istate_t *istate); - /* Index: kernel/arch/arm32/include/arch/mm/page.h =================================================================== --- kernel/arch/arm32/include/arch/mm/page.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/mm/page.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -131,5 +131,4 @@ set_pt_level1_present((pte_t *) (ptl3), (size_t) (i)) - #define pt_coherence(page) pt_coherence_m(page, 1) Index: kernel/arch/arm32/include/arch/mm/page_armv4.h =================================================================== --- kernel/arch/arm32/include/arch/mm/page_armv4.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/mm/page_armv4.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -113,5 +113,4 @@ #define PTE_AP_USER_RW_KERNEL_RW 3 - /* pte_level0_t and pte_level1_t descriptor_type flags */ @@ -195,5 +194,4 @@ } } - /** Sets flags of level 1 page table entry. @@ -247,5 +245,4 @@ } - NO_TRACE static inline void set_pt_level1_present(pte_t *pt, size_t i) { @@ -255,8 +252,6 @@ } - extern void page_arch_init(void); - #endif /* __ASSEMBLER__ */ Index: kernel/arch/arm32/include/arch/mm/page_armv6.h =================================================================== --- kernel/arch/arm32/include/arch/mm/page_armv6.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/mm/page_armv6.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -40,5 +40,4 @@ #error "Do not include arch specific page.h directly use generic page.h instead" #endif - /* Macros for querying the last-level PTE entries. */ @@ -112,5 +111,4 @@ #define PTE_AP1_RO 1 - /* pte_level0_t and pte_level1_t descriptor_type flags */ @@ -126,5 +124,4 @@ /** pte_level1_t small page table flag with NX (used in descriptor type). */ #define PTE_DESCRIPTOR_SMALL_PAGE_NX 3 - /** @@ -230,5 +227,4 @@ pt_coherence(p); } - /** Sets flags of level 1 page table entry. @@ -319,5 +315,4 @@ } - extern void page_arch_init(void); Index: kernel/arch/arm32/include/arch/mm/page_fault.h =================================================================== --- kernel/arch/arm32/include/arch/mm/page_fault.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/include/arch/mm/page_fault.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -39,5 +39,4 @@ #include - /** Decribes CP15 "fault status register" (FSR). * @@ -71,5 +70,4 @@ } fault_status_t; - /** Simplified description of instruction code. * @@ -88,5 +86,4 @@ } ATTRIBUTE_PACKED instruction_t; - /** Help union used for casting pc register (uint_32_t) value into * #instruction_t pointer. Index: kernel/arch/arm32/src/arm32.c =================================================================== --- kernel/arch/arm32/src/arm32.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/src/arm32.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -64,5 +64,4 @@ arch_ops_t *arch_ops = &arm32_ops; - /** Performs arm32-specific initialization before main_bsp() is called. */ void arm32_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) @@ -118,10 +117,8 @@ } - /** Performs arm32 specific tasks needed before the new task is run. */ void before_task_runs_arch(void) { } - /** Performs arm32 specific tasks needed before the new thread is scheduled. Index: kernel/arch/arm32/src/cpu/cpu.c =================================================================== --- kernel/arch/arm32/src/cpu/cpu.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/src/cpu/cpu.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -60,5 +60,4 @@ static unsigned dcache_linesize_log(unsigned level); - /** Implementers (vendor) names */ static const char *implementer(unsigned id) @@ -99,5 +98,4 @@ return arch_data[0]; } - /** Retrieves processor identification from CP15 register 0. @@ -317,5 +315,4 @@ } - void cpu_dcache_flush(void) { Index: kernel/arch/arm32/src/fpu_context.c =================================================================== --- kernel/arch/arm32/src/fpu_context.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/src/fpu_context.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -47,5 +47,4 @@ #define FPSID_VARIANT(r) (((r) >> 4) 0xf) #define FPSID_REVISION(r) (((r) >> 0) 0xf) - enum { @@ -167,5 +166,4 @@ } - void fpu_init(void) { Index: kernel/arch/arm32/src/mach/beaglebone/beaglebone.c =================================================================== --- kernel/arch/arm32/src/mach/beaglebone/beaglebone.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/src/mach/beaglebone/beaglebone.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -234,3 +234,2 @@ * @} */ - Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c =================================================================== --- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -54,5 +54,4 @@ #include - #define SDRAM_SIZE \ sdram[(*(uint32_t *) (ICP_CMCR + ICP_SDRAMCR_OFFSET) & ICP_SDRAM_MASK) >> 2] @@ -121,5 +120,4 @@ *((uint32_t *) icp.hw_map.irqc_mask) = (1 << irq); } - /** Unmasks interrupt. Index: kernel/arch/arm32/src/machine_func.c =================================================================== --- kernel/arch/arm32/src/machine_func.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/src/machine_func.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -72,5 +72,4 @@ } - /** Starts timer. */ void machine_timer_irq_start(void) @@ -78,5 +77,4 @@ (machine_ops->machine_timer_irq_start)(); } - /** Halts CPU. */ @@ -105,5 +103,4 @@ (machine_ops->machine_irq_exception)(exc_no, istate); } - /* Index: kernel/arch/arm32/src/mm/page_fault.c =================================================================== --- kernel/arch/arm32/src/mm/page_fault.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/src/mm/page_fault.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -42,5 +42,4 @@ #include #include - /** Index: kernel/arch/arm32/src/smc.c =================================================================== --- kernel/arch/arm32/src/smc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/arm32/src/smc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -67,3 +67,2 @@ isb(); } - Index: kernel/arch/ia32/include/arch/asm.h =================================================================== --- kernel/arch/ia32/include/arch/asm.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia32/include/arch/asm.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -348,5 +348,4 @@ #endif /* PROCESSOR_i486 */ - /** Return base address of current stack Index: kernel/arch/ia32/include/arch/context_struct.h =================================================================== --- kernel/arch/ia32/include/arch/context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia32/include/arch/context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -58,3 +58,2 @@ #endif #endif - Index: kernel/arch/ia32/include/arch/istate_struct.h =================================================================== --- kernel/arch/ia32/include/arch/istate_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia32/include/arch/istate_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -108,3 +108,2 @@ #endif #endif - Index: kernel/arch/ia32/include/arch/smp/apic.h =================================================================== --- kernel/arch/ia32/include/arch/smp/apic.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia32/include/arch/smp/apic.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -337,5 +337,4 @@ } __attribute__((packed)) io_redirection_reg_t; - /** IO APIC Identification Register. */ typedef union { Index: kernel/arch/ia32/src/cpu/cpu.c =================================================================== --- kernel/arch/ia32/src/cpu/cpu.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia32/src/cpu/cpu.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -56,5 +56,4 @@ #define INTEL_CPUID_ECX UINT32_C(0x6c65746e) #define INTEL_CPUID_EDX UINT32_C(0x49656e69) - enum vendor { Index: kernel/arch/ia32/src/smc.c =================================================================== --- kernel/arch/ia32/src/smc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia32/src/smc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -33,3 +33,2 @@ compiler_barrier(); } - Index: kernel/arch/ia64/include/arch/context_struct.h =================================================================== --- kernel/arch/ia64/include/arch/context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia64/include/arch/context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -141,3 +141,2 @@ #endif /* __ASSEMBLER__ */ #endif - Index: kernel/arch/ia64/include/arch/istate_struct.h =================================================================== --- kernel/arch/ia64/include/arch/istate_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia64/include/arch/istate_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -156,3 +156,2 @@ #endif #endif - Index: kernel/arch/ia64/include/arch/proc/task.h =================================================================== --- kernel/arch/ia64/include/arch/proc/task.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia64/include/arch/proc/task.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -43,5 +43,4 @@ } task_arch_t; - #define task_create_arch(t) { (t)->arch.iomap = NULL; } #define task_destroy_arch(t) Index: kernel/arch/ia64/src/ia64.c =================================================================== --- kernel/arch/ia64/src/ia64.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia64/src/ia64.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -218,5 +218,4 @@ } - /** Enter userspace and never return. */ void userspace(uspace_arg_t *kernel_uarg) Index: kernel/arch/ia64/src/interrupt.c =================================================================== --- kernel/arch/ia64/src/interrupt.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia64/src/interrupt.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -195,5 +195,4 @@ } - #define BREAK_IMM_SYSCALL 0x40000U Index: kernel/arch/ia64/src/mm/tlb.c =================================================================== --- kernel/arch/ia64/src/mm/tlb.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia64/src/mm/tlb.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -102,5 +102,4 @@ tlb_invalidate_all(); } - void tlb_invalidate_pages(asid_t asid, uintptr_t page, size_t cnt) @@ -409,5 +408,4 @@ } - /** Copy content of PTE into data translation cache. * @@ -602,5 +600,4 @@ } - pte_t t; bool found = page_mapping_find(as, va, true, &t); Index: kernel/arch/ia64/src/mm/vhpt.c =================================================================== --- kernel/arch/ia64/src/mm/vhpt.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia64/src/mm/vhpt.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -53,5 +53,4 @@ } - void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry) { Index: kernel/arch/ia64/src/smc.c =================================================================== --- kernel/arch/ia64/src/smc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia64/src/smc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -40,3 +40,2 @@ srlz_i(); } - Index: kernel/arch/ia64/src/smp/smp.c =================================================================== --- kernel/arch/ia64/src/smp/smp.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ia64/src/smp/smp.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -54,3 +54,2 @@ /** @} */ - Index: kernel/arch/mips32/include/arch/context_struct.h =================================================================== --- kernel/arch/mips32/include/arch/context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/include/arch/context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -71,3 +71,2 @@ #endif #endif - Index: kernel/arch/mips32/include/arch/debugger.h =================================================================== --- kernel/arch/mips32/include/arch/debugger.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/include/arch/debugger.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -57,5 +57,4 @@ #define BKPOINT_FUNCCALL (1 << 3) - typedef struct { uintptr_t address; /**< Breakpoint address */ Index: kernel/arch/mips32/include/arch/fpu_context_struct.h =================================================================== --- kernel/arch/mips32/include/arch/fpu_context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/include/arch/fpu_context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -48,3 +48,2 @@ #endif #endif - Index: kernel/arch/mips32/include/arch/istate_struct.h =================================================================== --- kernel/arch/mips32/include/arch/istate_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/include/arch/istate_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -128,3 +128,2 @@ #endif #endif - Index: kernel/arch/mips32/include/arch/mm/page.h =================================================================== --- kernel/arch/mips32/include/arch/mm/page.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/include/arch/mm/page.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -161,5 +161,4 @@ } pte_t; - NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i) { Index: kernel/arch/mips32/include/arch/mm/tlb.h =================================================================== --- kernel/arch/mips32/include/arch/mm/tlb.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/include/arch/mm/tlb.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -140,5 +140,4 @@ } - /** Read Indexed TLB Entry * Index: kernel/arch/mips32/include/arch/proc/thread.h =================================================================== --- kernel/arch/mips32/include/arch/proc/thread.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/include/arch/proc/thread.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -47,3 +47,2 @@ /** @} */ - Index: kernel/arch/mips32/src/debug/stacktrace.c =================================================================== --- kernel/arch/mips32/src/debug/stacktrace.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/src/debug/stacktrace.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -242,5 +242,4 @@ } - bool kernel_stack_trace_context_validate(stack_trace_context_t *ctx) { Index: kernel/arch/mips32/src/machine_func.c =================================================================== --- kernel/arch/mips32/src/machine_func.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/src/machine_func.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -66,5 +66,4 @@ } - /** Halts CPU. */ void machine_cpu_halt(void) Index: kernel/arch/mips32/src/mm/frame.c =================================================================== --- kernel/arch/mips32/src/mm/frame.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/src/mm/frame.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -95,5 +95,4 @@ return true; } - /** Check whether frame is safe to write @@ -169,5 +168,4 @@ } - /** Create memory zones * Index: kernel/arch/mips32/src/smc.c =================================================================== --- kernel/arch/mips32/src/smc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/mips32/src/smc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -34,3 +34,2 @@ compiler_barrier(); } - Index: kernel/arch/ppc32/include/arch/context_struct.h =================================================================== --- kernel/arch/ppc32/include/arch/context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ppc32/include/arch/context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -89,3 +89,2 @@ #endif #endif - Index: kernel/arch/ppc32/include/arch/fpu_context_struct.h =================================================================== --- kernel/arch/ppc32/include/arch/fpu_context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ppc32/include/arch/fpu_context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -107,3 +107,2 @@ #endif #endif - Index: kernel/arch/ppc32/include/arch/istate.h =================================================================== --- kernel/arch/ppc32/include/arch/istate.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ppc32/include/arch/istate.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -76,5 +76,4 @@ } - #endif Index: kernel/arch/ppc32/include/arch/istate_struct.h =================================================================== --- kernel/arch/ppc32/include/arch/istate_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ppc32/include/arch/istate_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -131,3 +131,2 @@ #endif #endif - Index: kernel/arch/ppc32/src/smc.c =================================================================== --- kernel/arch/ppc32/src/smc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/ppc32/src/smc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -26,5 +26,4 @@ * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ - #include @@ -60,3 +59,2 @@ asm volatile ("isync" ::: "memory"); } - Index: kernel/arch/riscv64/include/arch/context_struct.h =================================================================== --- kernel/arch/riscv64/include/arch/context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/riscv64/include/arch/context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -75,3 +75,2 @@ #endif #endif - Index: kernel/arch/riscv64/include/arch/istate_struct.h =================================================================== --- kernel/arch/riscv64/include/arch/istate_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/riscv64/include/arch/istate_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -113,3 +113,2 @@ #endif #endif - Index: kernel/arch/riscv64/src/cpu/cpu.c =================================================================== --- kernel/arch/riscv64/src/cpu/cpu.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/riscv64/src/cpu/cpu.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -39,5 +39,4 @@ #include - void fpu_disable(void) { Index: kernel/arch/riscv64/src/smc.c =================================================================== --- kernel/arch/riscv64/src/smc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/riscv64/src/smc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -34,3 +34,2 @@ compiler_barrier(); } - Index: kernel/arch/sparc64/include/arch/context_struct.h =================================================================== --- kernel/arch/sparc64/include/arch/context_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/context_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -81,3 +81,2 @@ #endif #endif - Index: kernel/arch/sparc64/include/arch/cpu.h =================================================================== --- kernel/arch/sparc64/include/arch/cpu.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/cpu.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -64,5 +64,4 @@ #endif - #endif Index: kernel/arch/sparc64/include/arch/cpu_family.h =================================================================== --- kernel/arch/sparc64/include/arch/cpu_family.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/cpu_family.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -81,3 +81,2 @@ /** @} */ - Index: kernel/arch/sparc64/include/arch/cpu_node.h =================================================================== --- kernel/arch/sparc64/include/arch/cpu_node.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/cpu_node.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -38,5 +38,4 @@ #include - /** Finds the parent node of all the CPU nodes (nodes named "cpu" or "cmp"). * @@ -57,3 +56,2 @@ /** @} */ - Index: kernel/arch/sparc64/include/arch/istate_struct.h =================================================================== --- kernel/arch/sparc64/include/arch/istate_struct.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/istate_struct.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -137,3 +137,2 @@ #endif #endif - Index: kernel/arch/sparc64/include/arch/mm/km.h =================================================================== --- kernel/arch/sparc64/include/arch/mm/km.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/mm/km.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -42,5 +42,4 @@ #endif - #endif Index: kernel/arch/sparc64/include/arch/mm/mmu.h =================================================================== --- kernel/arch/sparc64/include/arch/mm/mmu.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/mm/mmu.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -42,5 +42,4 @@ #endif - #endif Index: kernel/arch/sparc64/include/arch/mm/sun4u/mmu.h =================================================================== --- kernel/arch/sparc64/include/arch/mm/sun4u/mmu.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/mm/sun4u/mmu.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -59,5 +59,4 @@ #define VA_IMMU_NUCLEUS_EXTENSION 0x58 /**< IMMU TSB nucleus extension register */ #endif - /* D-MMU ASIs. */ Index: kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h =================================================================== --- kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/mm/sun4u/tlb.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -187,5 +187,4 @@ typedef union tlb_tag_read_reg tlb_tag_read_reg_t; typedef union tlb_tag_read_reg tlb_tag_access_reg_t; - /** TLB Demap Operation Address. */ @@ -412,5 +411,4 @@ #elif defined (US3) - /** Read IMMU TLB Data Access Register. * @@ -520,5 +518,4 @@ #endif - /** Write IMMU TLB Tag Access Register. * @@ -558,5 +555,4 @@ return asi_u64_read(ASI_DMMU, VA_DMMU_TAG_ACCESS); } - /** Write IMMU TLB Data in Register. Index: kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h =================================================================== --- kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -67,5 +67,4 @@ } __attribute__((packed)) tsb_descr_t; - /* Forward declarations. */ struct as; Index: kernel/arch/sparc64/include/arch/mm/tsb.h =================================================================== --- kernel/arch/sparc64/include/arch/mm/tsb.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/mm/tsb.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) Index: kernel/arch/sparc64/include/arch/sun4v/hypercall.h =================================================================== --- kernel/arch/sparc64/include/arch/sun4v/hypercall.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/sun4v/hypercall.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -73,5 +73,4 @@ #define CONS_PUTCHAR 0x61 - /* return codes */ #define HV_EOK 0 /**< Successful return */ @@ -94,5 +93,4 @@ #define HV_EBUSY 17 /**< Operation failed as resource is otherwise busy */ - /** * Performs a hyperfast hypervisor API call from the assembly language code. @@ -115,5 +113,4 @@ #define __HYPERCALL_HYPERFAST(sw_trap_number) \ ta (sw_trap_number); - #ifndef __ASSEMBLER__ Index: kernel/arch/sparc64/include/arch/trap/interrupt.h =================================================================== --- kernel/arch/sparc64/include/arch/trap/interrupt.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/trap/interrupt.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -71,5 +71,4 @@ #endif /* !def __ASSEMBLER__ */ - #if defined (SUN4U) #include Index: kernel/arch/sparc64/include/arch/trap/sun4u/interrupt.h =================================================================== --- kernel/arch/sparc64/include/arch/trap/sun4u/interrupt.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/trap/sun4u/interrupt.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -40,5 +40,4 @@ #include #include - /* Interrupt ASI registers. */ Index: kernel/arch/sparc64/include/arch/trap/trap.h =================================================================== --- kernel/arch/sparc64/include/arch/trap/trap.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/include/arch/trap/trap.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -42,3 +42,2 @@ /** @} */ - Index: kernel/arch/sparc64/src/drivers/pci.c =================================================================== --- kernel/arch/sparc64/src/drivers/pci.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/src/drivers/pci.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -114,5 +114,4 @@ return pci; } - /** Initialize the Psycho PCI controller. Index: kernel/arch/sparc64/src/mm/sun4u/tsb.c =================================================================== --- kernel/arch/sparc64/src/mm/sun4u/tsb.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/src/mm/sun4u/tsb.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -167,3 +167,2 @@ /** @} */ - Index: kernel/arch/sparc64/src/mm/sun4v/frame.c =================================================================== --- kernel/arch/sparc64/src/mm/sun4v/frame.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/src/mm/sun4v/frame.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -86,5 +86,4 @@ } - void frame_low_arch_init(void) { Index: kernel/arch/sparc64/src/smc.c =================================================================== --- kernel/arch/sparc64/src/smc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/src/smc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -49,5 +49,4 @@ #elif defined (US3) - void smc_coherence(void *a, size_t l) { @@ -58,3 +57,2 @@ #endif /* defined(US3) */ - Index: kernel/arch/sparc64/src/smp/sun4u/ipi.c =================================================================== --- kernel/arch/sparc64/src/smp/sun4u/ipi.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/src/smp/sun4u/ipi.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -175,5 +175,4 @@ } - /* * Deliver an IPI to the specified processors (except the current one). Index: kernel/arch/sparc64/src/sun4v/md.c =================================================================== --- kernel/arch/sparc64/src/sun4v/md.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/arch/sparc64/src/sun4v/md.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -54,5 +54,4 @@ #define PROP_STR 0x73 /**< Node property with a string value */ #define PROP_DATA 0x64 /**< Node property with a block of data */ - /** machine description header */ @@ -105,5 +104,4 @@ __attribute__((aligned(16))); - /** returns pointer to the element at the given index */ static md_element_t *get_element(element_idx_t idx) Index: kernel/doc/doxygroups.h =================================================================== --- kernel/doc/doxygroups.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/doc/doxygroups.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -1,3 +1,2 @@ - /* Definitions of modules and its relations for generating Doxygen documentation */ @@ -93,9 +92,7 @@ */ - /** @defgroup sync Synchronization * @ingroup kernel */ - /** @defgroup mm Memory management @@ -400,5 +397,4 @@ */ - /** @defgroup others Miscellanea * @ingroup kernel @@ -477,3 +473,2 @@ * @endcond */ - Index: kernel/genarch/include/genarch/drivers/am335x/cm_dpll.h =================================================================== --- kernel/genarch/include/genarch/drivers/am335x/cm_dpll.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/am335x/cm_dpll.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -79,3 +79,2 @@ * @} */ - Index: kernel/genarch/include/genarch/drivers/am335x/cm_per.h =================================================================== --- kernel/genarch/include/genarch/drivers/am335x/cm_per.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/am335x/cm_per.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -86,3 +86,2 @@ * @} */ - Index: kernel/genarch/include/genarch/drivers/am335x/timer.h =================================================================== --- kernel/genarch/include/genarch/drivers/am335x/timer.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/am335x/timer.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -92,5 +92,4 @@ extern void am335x_timer_stop(am335x_timer_t *timer); - #endif @@ -98,3 +97,2 @@ * @} */ - Index: kernel/genarch/include/genarch/drivers/am335x/timer_regs.h =================================================================== --- kernel/genarch/include/genarch/drivers/am335x/timer_regs.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/am335x/timer_regs.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -159,3 +159,2 @@ * @} */ - Index: kernel/genarch/include/genarch/drivers/am335x/uart.h =================================================================== --- kernel/genarch/include/genarch/drivers/am335x/uart.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/am335x/uart.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -68,3 +68,2 @@ * @} */ - Index: kernel/genarch/include/genarch/drivers/amdm37x/gpt.h =================================================================== --- kernel/genarch/include/genarch/drivers/amdm37x/gpt.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/amdm37x/gpt.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -77,5 +77,4 @@ #define AMDM37x_GPT11_IRQ 47 - /** GPT register map AMDM37x TRM p. 2740 */ typedef struct { Index: kernel/genarch/include/genarch/drivers/bcm2835/timer.h =================================================================== --- kernel/genarch/include/genarch/drivers/bcm2835/timer.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/bcm2835/timer.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -64,5 +64,4 @@ } bcm2835_timer_t; - static inline void bcm2835_timer_start(bcm2835_timer_t *timer) { Index: kernel/genarch/include/genarch/drivers/omap/uart.h =================================================================== --- kernel/genarch/include/genarch/drivers/omap/uart.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/omap/uart.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -56,3 +56,2 @@ * @} */ - Index: kernel/genarch/include/genarch/drivers/omap/uart_regs.h =================================================================== --- kernel/genarch/include/genarch/drivers/omap/uart_regs.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/omap/uart_regs.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -159,5 +159,4 @@ #define OMAP_UART_LCR_DIV_EN_FLAG (1 << 7) - union { /** Modem control register */ Index: kernel/genarch/include/genarch/drivers/pl050/pl050.h =================================================================== --- kernel/genarch/include/genarch/drivers/pl050/pl050.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/pl050/pl050.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -44,5 +44,4 @@ #include #include - /* @@ -98,5 +97,4 @@ extern void pl050_wire(pl050_instance_t *, indev_t *); - #endif Index: kernel/genarch/include/genarch/drivers/s3c24xx/uart.h =================================================================== --- kernel/genarch/include/genarch/drivers/s3c24xx/uart.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/include/genarch/drivers/s3c24xx/uart.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -78,5 +78,4 @@ #define UFCON_FIFO_ENABLE 0x01 - /** S3C24xx UART instance */ typedef struct { Index: kernel/genarch/src/drivers/am335x/timer.c =================================================================== --- kernel/genarch/src/drivers/am335x/timer.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/src/drivers/am335x/timer.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -180,3 +180,2 @@ * @} */ - Index: kernel/genarch/src/drivers/omap/uart.c =================================================================== --- kernel/genarch/src/drivers/omap/uart.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/src/drivers/omap/uart.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -187,3 +187,2 @@ * @} */ - Index: kernel/genarch/src/drivers/pl011/pl011.c =================================================================== --- kernel/genarch/src/drivers/pl011/pl011.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/src/drivers/pl011/pl011.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -149,3 +149,2 @@ /** @} */ - Index: kernel/genarch/src/drivers/pl050/pl050.c =================================================================== --- kernel/genarch/src/drivers/pl050/pl050.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/src/drivers/pl050/pl050.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -111,5 +111,4 @@ } - /** @} */ Index: kernel/genarch/src/drivers/via-cuda/cuda.c =================================================================== --- kernel/genarch/src/drivers/via-cuda/cuda.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/src/drivers/via-cuda/cuda.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -366,5 +366,4 @@ } - /** @} */ Index: kernel/genarch/src/kbrd/scanc_at.c =================================================================== --- kernel/genarch/src/kbrd/scanc_at.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/src/kbrd/scanc_at.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -37,5 +37,4 @@ #include #include - /** Primary meaning of scancodes. */ Index: kernel/genarch/src/mm/as_ht.c =================================================================== --- kernel/genarch/src/mm/as_ht.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/src/mm/as_ht.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -60,5 +60,4 @@ .page_table_locked = ht_locked, }; - /** Page hash table create. Index: kernel/genarch/src/softint/division.c =================================================================== --- kernel/genarch/src/softint/division.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/genarch/src/softint/division.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -232,6 +232,4 @@ } - - /** @} */ Index: kernel/generic/include/adt/avl.h =================================================================== --- kernel/generic/include/adt/avl.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/adt/avl.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -106,5 +106,4 @@ }; - /** Create empty AVL tree. * Index: kernel/generic/include/adt/cht.h =================================================================== --- kernel/generic/include/adt/cht.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/adt/cht.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -130,5 +130,4 @@ member_to_inst((item), type, member) - #define cht_read_lock() rcu_read_lock() #define cht_read_unlock() rcu_read_unlock() Index: kernel/generic/include/adt/hash_table.h =================================================================== --- kernel/generic/include/adt/hash_table.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/adt/hash_table.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -102,5 +102,4 @@ void *); - #endif Index: kernel/generic/include/align.h =================================================================== --- kernel/generic/include/align.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/align.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -46,5 +46,4 @@ #define ALIGN_DOWN(s, a) ((s) & ~((a) - 1)) - /** Align to the nearest higher address. * Index: kernel/generic/include/arch.h =================================================================== --- kernel/generic/include/arch.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/arch.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -38,5 +38,4 @@ #include /* get_stack_base() */ #include - /* Index: kernel/generic/include/cc.h =================================================================== --- kernel/generic/include/cc.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/cc.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -47,5 +47,4 @@ #endif - #endif Index: kernel/generic/include/cpu.h =================================================================== --- kernel/generic/include/cpu.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/cpu.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -46,5 +46,4 @@ #define CPU THE->cpu - /** CPU structure. Index: kernel/generic/include/cpu/cpu_mask.h =================================================================== --- kernel/generic/include/cpu/cpu_mask.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/cpu/cpu_mask.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -64,5 +64,4 @@ } cpu_mask_t; - extern size_t cpu_mask_size(void); extern void cpu_mask_active(cpu_mask_t *); Index: kernel/generic/include/ipc/irq.h =================================================================== --- kernel/generic/include/ipc/irq.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/ipc/irq.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -47,5 +47,4 @@ #include - extern irq_ownership_t ipc_irq_top_half_claim(irq_t *); extern void ipc_irq_top_half_handler(irq_t *); Index: kernel/generic/include/lib/refcount.h =================================================================== --- kernel/generic/include/lib/refcount.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/lib/refcount.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -122,3 +122,2 @@ #endif - Index: kernel/generic/include/mm/as.h =================================================================== --- kernel/generic/include/mm/as.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/mm/as.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -52,5 +52,4 @@ #define AS THE->as - /** * Defined to be true if user address space and kernel address space shadow each Index: kernel/generic/include/preemption.h =================================================================== --- kernel/generic/include/preemption.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/preemption.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -59,5 +59,4 @@ } while (0) - #endif Index: kernel/generic/include/proc/task.h =================================================================== --- kernel/generic/include/proc/task.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/proc/task.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -64,5 +64,4 @@ #define TASK THE->task - struct thread; Index: kernel/generic/include/proc/thread.h =================================================================== --- kernel/generic/include/proc/thread.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/proc/thread.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -52,5 +52,4 @@ #include - #define THREAD THE->thread Index: kernel/generic/include/smp/smp_call.h =================================================================== --- kernel/generic/include/smp/smp_call.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/smp/smp_call.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -49,6 +49,4 @@ } smp_call_t; - - extern void smp_call(unsigned int, smp_call_func_t, void *); extern void smp_call_async(unsigned int, smp_call_func_t, void *, smp_call_t *); @@ -62,10 +60,6 @@ #endif - - - #endif /* KERN_SMP_CALL_H_ */ /** @} */ - Index: kernel/generic/include/synch/condvar.h =================================================================== --- kernel/generic/include/synch/condvar.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/synch/condvar.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -69,5 +69,4 @@ irq_spinlock_t *irq_lock, uint32_t usec, int flags); - #endif Index: kernel/generic/include/synch/rcu.h =================================================================== --- kernel/generic/include/synch/rcu.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/synch/rcu.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -40,5 +40,4 @@ #include - /** Use to assign a pointer to newly initialized data to a rcu reader * accessible pointer. @@ -92,12 +91,8 @@ #define rcu_access(ptr) ACCESS_ONCE(ptr) - - - #include #include #include #include - extern bool rcu_read_locked(void); @@ -122,5 +117,4 @@ extern void _rcu_synchronize(bool expedite); - #ifdef RCU_PREEMPT_A @@ -158,5 +152,4 @@ extern rcu_gp_t _rcu_cur_gp; extern void _rcu_signal_read_unlock(void); - /** Unconditionally records a quiescent state for the local cpu. */ Index: kernel/generic/include/synch/rcu_types.h =================================================================== --- kernel/generic/include/synch/rcu_types.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/synch/rcu_types.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -43,5 +43,4 @@ #endif - /* Fwd decl. */ struct thread; @@ -58,5 +57,4 @@ struct rcu_item *next; } rcu_item_t; - /** RCU related per-cpu data. */ @@ -140,5 +138,4 @@ } rcu_cpu_data_t; - /** RCU related per-thread data. */ typedef struct rcu_thread_data { @@ -165,5 +162,4 @@ } rcu_thread_data_t; - #endif Index: kernel/generic/include/synch/workqueue.h =================================================================== --- kernel/generic/include/synch/workqueue.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/synch/workqueue.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -56,6 +56,4 @@ } work_t; - - extern void workq_global_init(void); extern void workq_global_worker_init(void); @@ -74,5 +72,4 @@ extern void workq_global_print_info(void); - extern void workq_after_thread_ran(void); extern void workq_before_thread_is_ready(struct thread *); Index: kernel/generic/include/verify.h =================================================================== --- kernel/generic/include/verify.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/include/verify.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -36,5 +36,4 @@ #define KERN_VERIFY_H_ - #ifdef CONFIG_VERIFY_VCC @@ -66,5 +65,4 @@ #endif /* CONFIG_VERIFY_VCC */ - #endif Index: kernel/generic/src/adt/avl.c =================================================================== --- kernel/generic/src/adt/avl.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/adt/avl.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -81,5 +81,4 @@ return NULL; } - /** Find the node with the smallest key in an AVL tree. @@ -660,5 +659,4 @@ } - /** Delete a node with the smallest key from the AVL tree. * @@ -730,3 +728,2 @@ /** @} */ - Index: kernel/generic/src/adt/cht.c =================================================================== --- kernel/generic/src/adt/cht.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/adt/cht.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -26,5 +26,4 @@ * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ - /** @addtogroup genericadt @@ -287,5 +286,4 @@ */ - #include #include @@ -396,5 +394,4 @@ } wnd_t; - /* Sentinel node used by all buckets. Stores the greatest possible hash value.*/ static const cht_link_t sentinel = { @@ -403,5 +400,4 @@ .hash = -1 }; - static size_t size_to_order(size_t bucket_cnt, size_t min_order); @@ -1683,5 +1679,4 @@ } - #if 0 static void move_head(marked_ptr_t *psrc_head, marked_ptr_t *pdest_head) @@ -2710,5 +2705,4 @@ } - /** @} */ Index: kernel/generic/src/adt/hash_table.c =================================================================== --- kernel/generic/src/adt/hash_table.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/adt/hash_table.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -60,5 +60,4 @@ #define HT_MAX_LOAD 2 - static size_t round_up_size(size_t); static bool alloc_table(size_t, list_t **); @@ -73,5 +72,4 @@ /* no-op */ } - /** Create chained hash table. @@ -205,5 +203,4 @@ } - /** Insert item into a hash table if not already present. * @@ -412,5 +409,4 @@ } - /** Shrinks the table if the table is only sparely populated. */ static inline void shrink_if_needed(hash_table_t *h) @@ -472,5 +468,4 @@ } - /** @} */ Index: kernel/generic/src/console/cmd.c =================================================================== --- kernel/generic/src/console/cmd.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/console/cmd.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -647,5 +647,4 @@ }; - /** Initialize command info structure. * Index: kernel/generic/src/console/kconsole.c =================================================================== --- kernel/generic/src/console/kconsole.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/console/kconsole.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -364,5 +364,4 @@ position++) putwchar(current[position]); - /* Index: kernel/generic/src/cpu/cpu_mask.c =================================================================== --- kernel/generic/src/cpu/cpu_mask.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/cpu/cpu_mask.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) Index: kernel/generic/src/ipc/ipc.c =================================================================== --- kernel/generic/src/ipc/ipc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/ipc/ipc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -527,5 +527,4 @@ } - /** Wait for a phone call. * @@ -888,5 +887,4 @@ 0, NULL, NULL, 0); } - static void ipc_print_call_list(list_t *list) Index: kernel/generic/src/ipc/ipcrsc.c =================================================================== --- kernel/generic/src/ipc/ipcrsc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/ipc/ipcrsc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -147,5 +147,4 @@ .destroy = phone_destroy }; - /** Allocate new phone in the specified task. Index: kernel/generic/src/ipc/ops/concttome.c =================================================================== --- kernel/generic/src/ipc/ops/concttome.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/ipc/ops/concttome.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -102,5 +102,4 @@ } - sysipc_ops_t ipc_m_connect_to_me_ops = { .request_preprocess = null_request_preprocess, Index: kernel/generic/src/ipc/ops/datawrite.c =================================================================== --- kernel/generic/src/ipc/ops/datawrite.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/ipc/ops/datawrite.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -94,5 +94,4 @@ } - sysipc_ops_t ipc_m_data_write_ops = { .request_preprocess = request_preprocess, Index: kernel/generic/src/ipc/sysipc.c =================================================================== --- kernel/generic/src/ipc/sysipc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/ipc/sysipc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -118,5 +118,4 @@ } - /* * Functions that preprocess answer before sending it to the recepient. @@ -245,5 +244,4 @@ SYSIPC_OP(answer_process, call); } - /** Do basic kernel processing of received call request. Index: kernel/generic/src/lib/ra.c =================================================================== --- kernel/generic/src/lib/ra.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/lib/ra.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -304,5 +304,4 @@ } - /* Put unneeded parts back. */ if (pred) { Index: kernel/generic/src/lib/str_error.c =================================================================== --- kernel/generic/src/lib/str_error.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/lib/str_error.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -99,3 +99,2 @@ return "Unknown error code"; } - Index: kernel/generic/src/log/log.c =================================================================== --- kernel/generic/src/log/log.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/log/log.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -249,5 +249,4 @@ }; - ret = printf_core(fmt, &ps, args); @@ -386,5 +385,4 @@ } - /** @} */ Index: kernel/generic/src/mm/as.c =================================================================== --- kernel/generic/src/mm/as.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/mm/as.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -228,5 +228,4 @@ interrupts_restore(ipl); - /* * Destroy address space areas of the address space. @@ -563,5 +562,4 @@ } } - /** Create address space area of common attributes. Index: kernel/generic/src/mm/backend_elf.c =================================================================== --- kernel/generic/src/mm/backend_elf.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/mm/backend_elf.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -235,5 +235,4 @@ return true; } - /** Service a page fault in the ELF backend address space area. Index: kernel/generic/src/mm/backend_phys.c =================================================================== --- kernel/generic/src/mm/backend_phys.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/mm/backend_phys.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -80,5 +80,4 @@ }; - bool phys_create(as_area_t *area) { @@ -98,5 +97,4 @@ assert(mutex_locked(&area->lock)); } - void phys_destroy(as_area_t *area) @@ -118,5 +116,4 @@ return true; } - /** Service a page fault in the address space area backed by physical memory. Index: kernel/generic/src/mm/frame.c =================================================================== --- kernel/generic/src/mm/frame.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/mm/frame.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -178,5 +178,4 @@ } - /** Find a zone with a given frames. * Index: kernel/generic/src/mm/km.c =================================================================== --- kernel/generic/src/mm/km.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/mm/km.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -295,3 +295,2 @@ /** @} */ - Index: kernel/generic/src/preempt/preemption.c =================================================================== --- kernel/generic/src/preempt/preemption.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/preempt/preemption.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -38,5 +38,4 @@ #include - /** @} */ Index: kernel/generic/src/smp/smp_call.c =================================================================== --- kernel/generic/src/smp/smp_call.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/smp/smp_call.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -48,5 +48,4 @@ static void call_done(smp_call_t *call_info); static void call_wait(smp_call_t *call_info); - /** Init smp_call() on the local cpu. */ @@ -274,5 +273,4 @@ } - /** @} */ Index: kernel/generic/src/synch/condvar.c =================================================================== --- kernel/generic/src/synch/condvar.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/synch/condvar.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -189,5 +189,4 @@ } - /** @} */ Index: kernel/generic/src/synch/futex.c =================================================================== --- kernel/generic/src/synch/futex.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/synch/futex.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -94,5 +94,4 @@ } futex_ptr_t; - static void destroy_task_cache(work_t *work); @@ -116,5 +115,4 @@ static bool task_fut_ht_equal(const cht_link_t *item1, const cht_link_t *item2); static bool task_fut_ht_key_equal(void *key, const cht_link_t *item); - /** Mutex protecting the global futex hash table. @@ -226,5 +224,4 @@ } - /** Initialize the kernel futex structure. * @@ -284,5 +281,4 @@ return get_and_cache_futex(paddr, uaddr); } - /** Finds the physical address of the futex variable. */ @@ -331,5 +327,4 @@ return futex; } - /** @@ -448,5 +443,4 @@ } - /** Return the hash of the key stored in the item */ size_t futex_ht_hash(const ht_link_t *item) Index: kernel/generic/src/synch/rcu.c =================================================================== --- kernel/generic/src/synch/rcu.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/synch/rcu.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -26,5 +26,4 @@ * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ - /** @addtogroup sync @@ -247,5 +246,4 @@ } rcu_data_t; - static rcu_data_t rcu; @@ -294,6 +292,4 @@ static void upd_max_cbs_in_slice(size_t arriving_cbs_cnt); - - /** Initializes global RCU structures. */ void rcu_init(void) @@ -394,5 +390,4 @@ link_initialize(&thread->rcu.preempt_link); } - /** Cleans up global RCU resources and stops dispatching callbacks. @@ -715,5 +710,4 @@ return cur_cbs_empty() && next_cbs_empty() && arriving_cbs_empty(); } - /** Reclaimer thread dispatches locally queued callbacks once a GP ends. */ @@ -918,5 +912,4 @@ return expedite; } - #ifdef RCU_PREEMPT_A @@ -1291,5 +1284,4 @@ } - /** The detector thread detects and notifies reclaimers of grace period ends. */ static void detector(void *arg) @@ -1337,5 +1329,4 @@ return !interrupted; } - static void end_cur_gp(void) @@ -1608,5 +1599,4 @@ } } - #endif /* RCU_PREEMPT_PODZIMEK */ Index: kernel/generic/src/synch/smp_memory_barrier.c =================================================================== --- kernel/generic/src/synch/smp_memory_barrier.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/synch/smp_memory_barrier.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -40,5 +40,4 @@ #include - static void issue_mem_bar(void *arg) { Index: kernel/generic/src/synch/waitq.c =================================================================== --- kernel/generic/src/synch/waitq.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/synch/waitq.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -61,5 +61,4 @@ static void waitq_sleep_timed_out(void *); static void waitq_complete_wakeup(waitq_t *); - /** Initialize wait queue @@ -489,5 +488,4 @@ } - /** Internal SMP- and IRQ-unsafe version of waitq_wakeup() * Index: kernel/generic/src/synch/workqueue.c =================================================================== --- kernel/generic/src/synch/workqueue.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/synch/workqueue.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -52,5 +52,4 @@ #define WORK_ITEM_MAGIC 0xfeec1777U - struct work_queue { /* @@ -96,5 +95,4 @@ }; - /** Min number of idle workers to keep. */ static size_t min_worker_cnt; @@ -111,5 +109,4 @@ static int booting = true; - typedef struct { IRQ_SPINLOCK_DECLARE(lock); @@ -121,9 +118,6 @@ static nonblock_adder_t nonblock_adder; - - /** Typedef a worker thread signaling operation prototype. */ typedef void (*signal_op_t)(struct work_queue *workq); - /* Fwd decl. */ @@ -790,5 +784,4 @@ --workq->idle_worker_cnt; } - /** Invoked from thread_ready() right before the thread is woken up. */ @@ -888,5 +881,4 @@ } - static bool dequeue_add_req(nonblock_adder_t *info, struct work_queue **pworkq) { @@ -925,5 +917,4 @@ } } - static void nonblock_init(void) Index: kernel/generic/src/udebug/udebug_ipc.c =================================================================== --- kernel/generic/src/udebug/udebug_ipc.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/generic/src/udebug/udebug_ipc.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -123,5 +123,4 @@ } - /** Process a GO call. * @@ -303,5 +302,4 @@ } - /** Process an ARGS_READ call. * @@ -387,5 +385,4 @@ ipc_answer(&TASK->kb.box, call); } - /** Process an MEM_READ call. Index: kernel/test/cht/cht1.c =================================================================== --- kernel/test/cht/cht1.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/test/cht/cht1.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -75,5 +75,4 @@ } - static cht_ops_t val_ops = { .hash = val_hash, @@ -93,5 +92,4 @@ /*-------------------------------------------------------------------*/ - static const char *do_sanity_test(cht_t *h) @@ -441,5 +439,4 @@ } - /* Remove anything we may have inserted. */ for (size_t i = 0; i < work->elem_cnt; ++i) { @@ -559,5 +556,4 @@ /*-------------------------------------------------------------------*/ - const char *test_cht1(void) { Index: kernel/test/smpcall/smpcall1.c =================================================================== --- kernel/test/smpcall/smpcall1.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/test/smpcall/smpcall1.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -48,5 +48,4 @@ #define EACH_CPU_INC_PER_ITER 2 - static void inc(void *p) { @@ -60,5 +59,4 @@ ++*pcall_cnt; } - static void test_thread(void *p) Index: kernel/test/synch/rcu1.c =================================================================== --- kernel/test/synch/rcu1.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/test/synch/rcu1.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -40,5 +40,4 @@ #include - #define MAX_THREADS 32 @@ -134,5 +133,4 @@ } - static void join_one(void) { @@ -150,5 +148,4 @@ /*-------------------------------------------------------------------*/ - static void nop_reader(void *arg) { @@ -195,6 +192,4 @@ /*-------------------------------------------------------------------*/ - - static void long_reader(void *arg) { @@ -236,5 +231,4 @@ /*-------------------------------------------------------------------*/ - static atomic_t nop_callbacks_cnt = 0; @@ -363,5 +357,4 @@ size_t start_time; } seq_item_t; - static errno_t seq_test_result = EOK; @@ -460,5 +453,4 @@ get_seq(0, total_cnt, get_thread_cnt(), read_cnt); - for (size_t i = 0; i < get_thread_cnt(); ++i) { item[i].update_cnt = total_cnt - read_cnt[i]; @@ -496,5 +488,4 @@ /*-------------------------------------------------------------------*/ - static void reader_unlocked(rcu_item_t *item) @@ -555,5 +546,4 @@ errno_t result; } preempt_t; - static void preempted_unlocked(rcu_item_t *item) @@ -607,5 +597,4 @@ TPRINTF("}reader_inside_cur\n"); } - static void preempted_reader_cur(void *arg) @@ -683,5 +672,4 @@ } - static bool do_one_reader_preempt(void (*f)(void *), const char *err) { @@ -772,5 +760,4 @@ } - static bool do_synch(void) { @@ -800,5 +787,4 @@ rcu_synchronize(); join_one(); - if (synch->reader_done) { @@ -857,5 +843,4 @@ } stress_t; - static void stress_reader(void *arg) { @@ -1006,5 +991,4 @@ const char *desc; }; - const char *test_rcu1(void) Index: kernel/test/synch/workq-test-core.h =================================================================== --- kernel/test/synch/workq-test-core.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/test/synch/workq-test-core.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -36,5 +36,4 @@ #include - typedef struct test_work { work_t work_item; @@ -46,8 +45,6 @@ static atomic_t call_cnt[WAVES]; - /* Fwd decl - implement in your actual test file.. */ static int core_workq_enqueue(work_t *work_item, work_func_t func); - static bool new_wave(test_work_t *work) @@ -62,5 +59,4 @@ } } - static int is_pow2(int num) @@ -170,5 +166,4 @@ WAVES, COUNT, exp_call_cnt * WAVES); - core_workq_enqueue(&work->work_item, reproduce); @@ -200,5 +195,4 @@ } - if (success) return NULL; Index: kernel/test/synch/workqueue2.c =================================================================== --- kernel/test/synch/workqueue2.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/test/synch/workqueue2.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -32,5 +32,4 @@ #include - #define WAVES 10 #define COUNT_POW 12 @@ -45,5 +44,4 @@ #include "workq-test-core.h" - /*-------------------------------------------------------------------*/ @@ -56,5 +54,4 @@ TPRINTF("basic_test_work()"); } - static void basic_test(void) @@ -74,5 +71,4 @@ /*-------------------------------------------------------------------*/ - struct work_queue *workq = NULL; @@ -82,5 +78,4 @@ } /*-------------------------------------------------------------------*/ - static const char *test_custom_workq_impl(bool stop, const char *qname) @@ -108,5 +103,4 @@ } - static const char *test_custom_workq_stop(void) { @@ -117,5 +111,4 @@ return NULL; } - const char *test_workqueue_all(void) Index: kernel/test/synch/workqueue3.c =================================================================== --- kernel/test/synch/workqueue3.c (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/test/synch/workqueue3.c (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -32,5 +32,4 @@ #include - #define WAVES 10 #define COUNT_POW 12 @@ -45,11 +44,8 @@ #include "workq-test-core.h" - static int core_workq_enqueue(work_t *work_item, work_func_t func) { return workq_global_enqueue(work_item, func); } - - static const char *do_test(bool exit_early) Index: kernel/test/test.h =================================================================== --- kernel/test/test.h (revision 70259a55669e39fcfc7d76d43bbf35c26ab91657) +++ kernel/test/test.h (revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c) @@ -82,5 +82,4 @@ extern const char *test_rcu1(void); - extern test_t tests[];