Subversion Repositories HelenOS-historic

Compare Revisions

Ignore whitespace Rev 1702 → Rev 1701

/kernel/trunk/arch/ia32/include/atomic.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_ATOMIC_H__
#define __ia32_ATOMIC_H__
 
123,7 → 117,3
}
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/interrupt.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32interrupt
* @{
*/
/** @file
*/
 
#ifndef __ia32_INTERRUPT_H__
#define __ia32_INTERRUPT_H__
 
123,7 → 117,3
extern void trap_virtual_eoi(void);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/smp/mps.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __MPS_H__
#define __MPS_H__
 
129,7 → 123,3
extern void kmp(void *arg);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/smp/apic.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __APIC_H__
#define __APIC_H__
 
365,7 → 359,3
extern void io_apic_enable_irqs(__u16 irqmask);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/smp/smp.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_SMP_H__
#define __ia32_SMP_H__
 
50,7 → 44,3
extern int smp_irq_to_pin(int irq);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/smp/ap.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __AP_H__
#define __AP_H__
 
38,7 → 32,3
extern void ap_boot(void);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/mm/as.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
*/
 
#ifndef __ia32_AS_H__
#define __ia32_AS_H__
 
49,7 → 43,3
extern void as_arch_init(void);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/mm/asid.h
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
* @ingroup ia32mm, amd64mm
*/
 
/*
* ia32 has no hardware support for address space identifiers.
* This file is provided to do nop-implementation of mm/asid.h
50,7 → 43,3
#define asid_put(asid)
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/mm/page.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
*/
 
#ifndef __ia32_PAGE_H__
#define __ia32_PAGE_H__
 
167,7 → 161,3
#endif /* KERNEL */
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/mm/frame.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
*/
 
#ifndef __ia32_FRAME_H__
#define __ia32_FRAME_H__
 
52,7 → 46,3
#endif /* KERNEL */
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/mm/tlb.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
*/
 
#ifndef __ia32_TLB_H__
#define __ia32_TLB_H__
 
39,7 → 33,3
#define tlb_print()
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/mm/memory_init.h
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
* @ingroup ia32mm, am64mm
*/
 
#ifndef __ia32_MEMORY_INIT_H__
#define __ia32_MEMORY_INIT_H__
 
43,7 → 36,3
void memory_print_map(void);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/drivers/i8254.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __I8254_H__
#define __I8254_H__
 
42,7 → 36,3
extern void i8254_normal_operation(void);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/drivers/vesa.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __VESA_H__
#define __VESA_H__
 
39,7 → 33,3
extern void vesa_init(void);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/drivers/i8259.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __I8259_H__
#define __I8259_H__
 
52,7 → 46,3
extern void pic_eoi(void);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/drivers/ega.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __EGA_H__
#define __EGA_H__
 
43,7 → 37,3
extern void ega_init(void);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/drivers/i8042.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
/**
* This file implements ia32 specific access to i8042 registers.
*/
66,7 → 60,3
}
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/barrier.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_BARRIER_H__
#define __ia32_BARRIER_H__
 
85,7 → 79,3
#endif
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/pm.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __PM_H__
#define __PM_H__
 
177,7 → 171,3
#endif /* __ASM__ */
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/ddi/ddi.h
26,11 → 26,8
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32ddi
* @{
*/
/**
* @file
* @file ddi.h
* @brief ia32 specific DDI declarations and macros.
*/
 
40,7 → 37,3
extern void io_perm_bitmap_install(void);
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/proc/task.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32proc
* @{
*/
/** @file
*/
 
#ifndef __ia32_TASK_H__
#define __ia32_TASK_H__
 
45,7 → 39,3
} task_arch_t;
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/proc/thread.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32proc
* @{
*/
/** @file
*/
 
#ifndef __ia32_THREAD_H__
#define __ia32_THREAD_H__
 
42,7 → 36,3
} thread_arch_t;
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/cpu.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32cpu
* @{
*/
/** @file
*/
 
#ifndef __ia32_CPU_H__
#define __ia32_CPU_H__
 
56,7 → 50,3
#define CR4_OSFXSR_MASK (1<<9)
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/asm.h
27,12 → 27,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_ASM_H__
#define __ia32_ASM_H__
 
295,7 → 289,3
}
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/fpu_context.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_FPU_CONTEXT_H__
#define __ia32_FPU_CONTEXT_H__
 
50,7 → 44,3
 
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/cpuid.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32cpu
* @{
*/
/** @file
*/
 
#ifndef __ia32_CPUID_H__
#define __ia32_CPUID_H__
 
114,7 → 108,3
}
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/types.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __TYPES_H__
#define __TYPES_H__
 
58,7 → 52,3
typedef struct page_specifier pte_t;
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/boot/boot.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_BOOT_H__
#define __ia32_BOOT_H__
 
45,7 → 39,3
#define MULTIBOOT_LOADER_MAGIC 0x2BADB002
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/boot/memmap.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_MEMMAP_H__
#define __ia32_MEMMAP_H__
 
72,7 → 66,3
#endif
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/elf.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_ELF_H__
#define __ia32_ELF_H__
 
40,7 → 34,3
#define ELF_CLASS ELFCLASS32
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/debug.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup amd64debug
* @{
*/
/** @file
*/
 
#ifndef __ia32_DEBUG_H__
#define __ia32_DEBUG_H__
 
40,7 → 34,3
#define HERE get_ip()
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/memstr.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_MEMSTR_H__
#define __ia32_MEMSTR_H__
 
146,7 → 140,3
}
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/context.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_CONTEXT_H__
#define __ia32_CONTEXT_H__
 
62,7 → 56,3
} __attribute__ ((packed));
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/byteorder.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_BYTEORDER_H__
#define __ia32_BYTEORDER_H__
 
40,7 → 34,3
#define __u64_le2host(n) (n)
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/arch.h
26,17 → 26,7
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_ARCH_H__
#define __ia32_ARCH_H__
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/faddr.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_FADDR_H__
#define __ia32_FADDR_H__
 
40,7 → 34,3
#define FADDR(fptr) ((__address) (fptr))
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/arg.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __ia32_ARG_H__
#define __ia32_ARG_H__
 
38,7 → 32,3
#include <stackarg.h>
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/include/bios/bios.h
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifndef __BIOS_H__
#define __BIOS_H__
 
44,7 → 38,3
extern void bios_init(void);
 
#endif /* __BIOS_H__ */
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/interrupt.c
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32interrupt ia32
* @ingroup interrupt
* @{
*/
/** @file
*/
 
#include <arch/interrupt.h>
#include <syscall/syscall.h>
#include <print.h>
205,7 → 198,3
trap_virtual_enable_irqs(1 << irq);
exc_register(IVT_IRQBASE+irq, "ipc_int", ipc_int);
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/smp/apic.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#include <arch/types.h>
#include <arch/smp/apic.h>
#include <arch/smp/ap.h>
576,7 → 570,3
}
 
#endif /* CONFIG_SMP */
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/smp/mps.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifdef CONFIG_SMP
 
#include <config.h>
429,7 → 423,3
}
 
#endif /* CONFIG_SMP */
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/smp/smp.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#include <smp/smp.h>
#include <arch/smp/smp.h>
#include <arch/smp/mps.h>
180,7 → 174,3
}
 
#endif /* CONFIG_SMP */
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/smp/ipi.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifdef CONFIG_SMP
 
#include <smp/ipi.h>
43,7 → 37,3
}
 
#endif /* CONFIG_SMP */
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/drivers/i8259.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#include <arch/drivers/i8259.h>
#include <cpu.h>
#include <arch/types.h>
130,7 → 124,3
printf("cpu%d: PIC spurious interrupt\n", CPU->id);
#endif
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/drivers/vesa.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#ifdef CONFIG_FB
 
#include <genarch/fb/fb.h>
69,7 → 63,3
}
 
#endif
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/drivers/i8254.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#include <arch/types.h>
#include <time/clock.h>
#include <time/delay.h>
136,7 → 130,3
trap_virtual_eoi();
clock();
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/drivers/ega.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#include <arch/drivers/ega.h>
#include <putchar.h>
#include <mm/page.h>
143,7 → 137,3
outb(0x3d4, 0xf);
outb(0x3d5, ega_cursor & 0xff);
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/mm/page.c
26,14 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm ia32
* @ingroup mm
* @{
*/
/** @file
* @ingroup ia32
*/
 
#include <arch/mm/page.h>
#include <genarch/mm/page_pt.h>
#include <arch/mm/frame.h>
118,7 → 110,3
panic("page fault\n");
}
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/mm/frame.c
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
* @ingroup ia32mm, amd64mm
*/
 
#include <mm/frame.h>
#include <arch/mm/frame.h>
#include <mm/as.h>
142,7 → 135,3
#endif
}
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/mm/memory_init.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
*/
 
#include <arch/boot/memmap.h>
#include <arch/mm/memory_init.h>
#include <arch/mm/page.h>
75,7 → 69,3
 
}
 
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/mm/as.c
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
* @ingroup ia32mm, amd64mm
*/
 
#include <arch/mm/as.h>
#include <genarch/mm/as_pt.h>
 
41,7 → 34,3
{
as_operations = &as_pt_operations;
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/mm/tlb.c
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32mm
* @{
*/
/** @file
* @ingroup ia32mm, amd64mm
*/
 
#include <mm/tlb.h>
#include <arch/mm/asid.h>
#include <arch/asm.h>
66,7 → 59,3
for (i = 0; i < cnt; i++)
invlpg(page + i * PAGE_SIZE);
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/proc/task.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32proc
* @{
*/
/** @file
*/
 
#include <proc/task.h>
#include <arch/types.h>
#include <adt/bitmap.h>
56,7 → 50,3
if (t->arch.iomap.map)
free(t->arch.iomap.map);
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/proc/scheduler.c
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32proc ia32
* @ingroup proc
* @{
*/
/** @file
*/
 
#include <proc/scheduler.h>
#include <cpu.h>
#include <proc/task.h>
77,7 → 70,3
void after_thread_ran_arch(void)
{
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/proc/thread.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32proc
* @{
*/
/** @file
*/
 
#include <proc/thread.h>
 
/** Perform ia32 specific thread initialization.
42,7 → 36,3
{
t->arch.tls = 0;
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/ia32.c
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @ingroup others
* @{
*/
/** @file
*/
 
#include <arch.h>
 
#include <arch/types.h>
155,7 → 148,3
{
i8042_release();
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/pm.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#include <arch/pm.h>
#include <config.h>
#include <arch/types.h>
235,7 → 229,3
/* Reload gdt register to update GS in CPU */
gdtr_load(&cpugdtr);
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/ddi/ddi.c
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32ddi ia32
* @ingroup ddi
* @{
*/
/** @file
*/
 
#include <ddi/ddi.h>
#include <arch/ddi/ddi.h>
#include <proc/task.h>
161,7 → 154,3
*/
CPU->arch.iomapver_copy = ver;
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/cpu/cpu.c
26,13 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32cpu ia32
* @ingroup cpu
* @{
*/
/** @file
*/
 
#include <arch/cpu.h>
#include <arch/cpuid.h>
#include <arch/pm.h>
162,7 → 155,3
m->id, vendor_str[m->arch.vendor], m->arch.family, m->arch.model, m->arch.stepping,
m->frequency_mhz);
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/userspace.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#include <userspace.h>
#include <arch/pm.h>
#include <arch/types.h>
82,7 → 76,3
for(;;)
;
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/fpu_context.c
24,12 → 24,6
* 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 ia32
* @{
*/
/** @file
*
*/
 
120,7 → 114,3
:"i"(0x1f80)
);
}
 
/** @}
*/
 
/kernel/trunk/arch/ia32/src/bios/bios.c
26,12 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup ia32
* @{
*/
/** @file
*/
 
#include <arch/bios/bios.h>
#include <arch/types.h>
 
42,7 → 36,3
/* Copy the EBDA address out from BIOS Data Area */
ebda = *((__u16 *) BIOS_EBDA_PTR) * 0x10;
}
 
/** @}
*/