Changeset 06e1e95 in mainline for kernel/arch/ia32


Ignore:
Timestamp:
2006-09-14T17:09:21Z (19 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
f1d1f5d3
Parents:
e5ecc02
Message:

C99 compliant header guards (hopefully) everywhere in the kernel.
Formatting and indentation changes.
Small improvements in sparc64.

Location:
kernel/arch/ia32
Files:
49 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/ia32/include/arg.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_ARG_H__
    36 #define __ia32_ARG_H__
     35#ifndef KERN_ia32_ARG_H_
     36#define KERN_ia32_ARG_H_
    3737
    3838#include <stackarg.h>
     
    4040#endif
    4141
    42  /** @}
     42/** @}
    4343 */
    44 
  • kernel/arch/ia32/include/asm.h

    re5ecc02 r06e1e95  
    2828 */
    2929
    30  /** @addtogroup ia32   
     30/** @addtogroup ia32   
    3131 * @{
    3232 */
     
    3434 */
    3535
    36 #ifndef __ia32_ASM_H__
    37 #define __ia32_ASM_H__
     36#ifndef KERN_ia32_ASM_H_
     37#define KERN_ia32_ASM_H_
    3838
    3939#include <arch/pm.h>
     
    297297#endif
    298298
    299  /** @}
    300  */
    301 
     299/** @}
     300 */
  • kernel/arch/ia32/include/atomic.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_ATOMIC_H__
    36 #define __ia32_ATOMIC_H__
     35#ifndef KERN_ia32_ATOMIC_H_
     36#define KERN_ia32_ATOMIC_H_
    3737
    3838#include <arch/types.h>
     
    125125#endif
    126126
    127  /** @}
     127/** @}
    128128 */
    129 
  • kernel/arch/ia32/include/barrier.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_BARRIER_H__
    36 #define __ia32_BARRIER_H__
     35#ifndef KERN_ia32_BARRIER_H_
     36#define KERN_ia32_BARRIER_H_
    3737
    3838/*
     
    8787#endif
    8888
    89  /** @}
     89/** @}
    9090 */
    91 
  • kernel/arch/ia32/include/bios/bios.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __BIOS_H__
    36 #define __BIOS_H__
     35#ifndef KERN_ia32_BIOS_H_
     36#define KERN_ia32_BIOS_H_
    3737
    3838#include <arch/types.h>
     
    4444extern void bios_init(void);
    4545
    46 #endif /* __BIOS_H__ */
     46#endif /* KERN_ia32_BIOS_H_ */
    4747
    48  /** @}
     48/** @}
    4949 */
    50 
  • kernel/arch/ia32/include/boot/boot.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_BOOT_H__
    36 #define __ia32_BOOT_H__
     35#ifndef KERN_ia32_BOOT_H_
     36#define KERN_ia32_BOOT_H_
    3737
    3838#define BOOT_OFFSET             0x108000
     
    4747#endif
    4848
    49  /** @}
     49/** @}
    5050 */
    51 
  • kernel/arch/ia32/include/boot/memmap.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_MEMMAP_H__
    36 #define __ia32_MEMMAP_H__
     35#ifndef KERN_ia32_MEMMAP_H_
     36#define KERN_ia32_MEMMAP_H_
    3737
    3838/* E820h memory range types - other values*/
     
    7474#endif
    7575
    76  /** @}
     76/** @}
    7777 */
    78 
  • kernel/arch/ia32/include/byteorder.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_BYTEORDER_H__
    36 #define __ia32_BYTEORDER_H__
     35#ifndef KERN_ia32_BYTEORDER_H_
     36#define KERN_ia32_BYTEORDER_H_
    3737
    3838/* IA-32 is little-endian */
     
    4242#endif
    4343
    44  /** @}
     44/** @}
    4545 */
    46 
  • kernel/arch/ia32/include/context.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_CONTEXT_H__
    36 #define __ia32_CONTEXT_H__
     35#ifndef KERN_ia32_CONTEXT_H_
     36#define KERN_ia32_CONTEXT_H_
    3737
    3838#include <arch/types.h>
     
    6464#endif
    6565
    66  /** @}
     66/** @}
    6767 */
    68 
  • kernel/arch/ia32/include/cpu.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __ia32_CPU_H__
    36 #define __ia32_CPU_H__
     35#ifndef KERN_ia32_CPU_H_
     36#define KERN_ia32_CPU_H_
    3737
    3838#include <typedefs.h>
  • kernel/arch/ia32/include/cpuid.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __ia32_CPUID_H__
    36 #define __ia32_CPUID_H__
     35#ifndef KERN_ia32_CPUID_H_
     36#define KERN_ia32_CPUID_H_
    3737
    3838#include <arch/types.h>
     
    118118/** @}
    119119 */
    120 
  • kernel/arch/ia32/include/ddi/ddi.h

    re5ecc02 r06e1e95  
    3535 */
    3636
    37 #ifndef __ia32_DDI_H__
    38 #define __ia32_DDI_H__
     37#ifndef KERN_ia32_DDI_H_
     38#define KERN_ia32_DDI_H_
    3939
    4040extern void io_perm_bitmap_install(void);
     
    4444/** @}
    4545 */
    46 
  • kernel/arch/ia32/include/debug.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup amd64debug
     29/** @addtogroup amd64debug
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_DEBUG_H__
    36 #define __ia32_DEBUG_H__
     35#ifndef KERN_ia32_DEBUG_H_
     36#define KERN_ia32_DEBUG_H_
    3737
    3838#include <arch/asm.h>
     
    4242#endif
    4343
    44  /** @}
     44/** @}
    4545 */
    46 
  • kernel/arch/ia32/include/drivers/ega.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __EGA_H__
    36 #define __EGA_H__
     35#ifndef KERN_ia32_EGA_H_
     36#define KERN_ia32_EGA_H_
    3737
    3838#define VIDEORAM        0xb8000
     
    4545#endif
    4646
    47  /** @}
     47/** @}
    4848 */
    49 
  • kernel/arch/ia32/include/drivers/i8042.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3737 */
    3838
    39 #ifndef __ia32_I8042_H__
    40 #define __ia32_I8042_H__
     39#ifndef KERN_ia32_I8042_H_
     40#define KERN_ia32_I8042_H_
    4141
    4242#include <arch/asm.h>
     
    6868#endif
    6969
    70  /** @}
     70/** @}
    7171 */
    72 
  • kernel/arch/ia32/include/drivers/i8254.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __I8254_H__
    36 #define __I8254_H__
     35#ifndef KERN_ia32_I8254_H_
     36#define KERN_ia32_I8254_H_
    3737
    3838#include <arch/types.h>
     
    4444#endif
    4545
    46  /** @}
     46/** @}
    4747 */
    48 
  • kernel/arch/ia32/include/drivers/i8259.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __I8259_H__
    36 #define __I8259_H__
     35#ifndef KERN_ia32_I8259_H_
     36#define KERN_ia32_I8259_H_
    3737
    3838#include <arch/types.h>
     
    5454#endif
    5555
    56  /** @}
     56/** @}
    5757 */
    58 
  • kernel/arch/ia32/include/drivers/vesa.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __VESA_H__
    36 #define __VESA_H__
     35#ifndef KERN_ia32_VESA_H_
     36#define KERN_ia32_VESA_H_
    3737
    3838extern int vesa_present(void);
     
    4141#endif
    4242
    43  /** @}
     43/** @}
    4444 */
    45 
  • kernel/arch/ia32/include/elf.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_ELF_H__
    36 #define __ia32_ELF_H__
     35#ifndef KERN_ia32_ELF_H_
     36#define KERN_ia32_ELF_H_
    3737
    3838#define ELF_MACHINE             EM_386
     
    4242#endif
    4343
    44  /** @}
     44/** @}
    4545 */
    46 
  • kernel/arch/ia32/include/faddr.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_FADDR_H__
    36 #define __ia32_FADDR_H__
     35#ifndef KERN_ia32_FADDR_H_
     36#define KERN_ia32_FADDR_H_
    3737
    3838#include <arch/types.h>
     
    4242#endif
    4343
    44  /** @}
     44/** @}
    4545 */
    46 
  • kernel/arch/ia32/include/fpu_context.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_FPU_CONTEXT_H__
    36 #define __ia32_FPU_CONTEXT_H__
     35#ifndef KERN_ia32_FPU_CONTEXT_H_
     36#define KERN_ia32_FPU_CONTEXT_H_
    3737
    3838#include <arch/types.h>
     
    4949};
    5050
    51 
    5251#endif
    5352
    54  /** @}
     53/** @}
    5554 */
    56 
  • kernel/arch/ia32/include/interrupt.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __ia32_INTERRUPT_H__
    36 #define __ia32_INTERRUPT_H__
     35#ifndef KERN_ia32_INTERRUPT_H_
     36#define KERN_ia32_INTERRUPT_H_
    3737
    3838#include <arch/types.h>
     
    127127/** @}
    128128 */
    129 
  • kernel/arch/ia32/include/memstr.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_MEMSTR_H__
    36 #define __ia32_MEMSTR_H__
     35#ifndef KERN_ia32_MEMSTR_H_
     36#define KERN_ia32_MEMSTR_H_
    3737
    3838/** Copy memory
     
    148148#endif
    149149
    150  /** @}
     150/** @}
    151151 */
    152 
  • kernel/arch/ia32/include/mm/as.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_AS_H__
    36 #define __ia32_AS_H__
     35#ifndef KERN_ia32_AS_H_
     36#define KERN_ia32_AS_H_
    3737
    3838#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH      0
     
    5151#endif
    5252
    53  /** @}
     53/** @}
    5454 */
    55 
  • kernel/arch/ia32/include/mm/asid.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    4040 */
    4141
    42 #ifndef __ia32_ASID_H__
    43 #define __ia32_ASID_H__
     42#ifndef KERN_ia32_ASID_H_
     43#define KERN_ia32_ASID_H_
    4444
    4545typedef int asid_t;
     
    5252#endif
    5353
    54  /** @}
     54/** @}
    5555 */
    56 
  • kernel/arch/ia32/include/mm/frame.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_FRAME_H__
    36 #define __ia32_FRAME_H__
     35#ifndef KERN_ia32_FRAME_H_
     36#define KERN_ia32_FRAME_H_
    3737
    3838#define FRAME_WIDTH     12      /* 4K */
    3939#define FRAME_SIZE      (1<<FRAME_WIDTH)
    40 
    4140
    4241#ifdef KERNEL
     
    5453#endif
    5554
    56  /** @}
     55/** @}
    5756 */
    58 
  • kernel/arch/ia32/include/mm/memory_init.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    3434 */
    3535
    36 #ifndef __ia32_MEMORY_INIT_H__
    37 #define __ia32_MEMORY_INIT_H__
     36#ifndef KERN_ia32_MEMORY_INIT_H_
     37#define KERN_ia32_MEMORY_INIT_H_
    3838
    3939#include <typedefs.h>
     
    4545#endif
    4646
    47  /** @}
     47/** @}
    4848 */
    49 
  • kernel/arch/ia32/include/mm/page.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_PAGE_H__
    36 #define __ia32_PAGE_H__
     35#ifndef KERN_ia32_PAGE_H_
     36#define KERN_ia32_PAGE_H_
    3737
    3838#include <arch/mm/frame.h>
     
    169169#endif
    170170
    171  /** @}
     171/** @}
    172172 */
    173 
  • kernel/arch/ia32/include/mm/tlb.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_TLB_H__
    36 #define __ia32_TLB_H__
     35#ifndef KERN_ia32_TLB_H_
     36#define KERN_ia32_TLB_H_
    3737
    3838#define tlb_arch_init()
     
    4141#endif
    4242
    43  /** @}
     43/** @}
    4444 */
    45 
  • kernel/arch/ia32/include/pm.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __PM_H__
    36 #define __PM_H__
     35#ifndef KERN_ia32_PM_H_
     36#define KERN_ia32_PM_H_
    3737
    3838#define IDT_ITEMS 64
     
    179179#endif
    180180
    181  /** @}
     181/** @}
    182182 */
    183 
  • kernel/arch/ia32/include/smp/ap.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __AP_H__
    36 #define __AP_H__
     35#ifndef KERN_ia32_AP_H_
     36#define KERN_ia32_AP_H_
    3737
    3838extern void ap_boot(void);
     
    4040#endif
    4141
    42  /** @}
     42/** @}
    4343 */
    44 
  • kernel/arch/ia32/include/smp/apic.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __APIC_H__
    36 #define __APIC_H__
     35#ifndef KERN_ia32_APIC_H_
     36#define KERN_ia32_APIC_H_
    3737
    3838#include <arch/types.h>
     
    367367#endif
    368368
    369  /** @}
     369/** @}
    370370 */
    371 
  • kernel/arch/ia32/include/smp/mps.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __MPS_H__
    36 #define __MPS_H__
     35#ifndef KERN_ia32_MPS_H_
     36#define KERN_ia32_MPS_H_
    3737
    3838#include <arch/types.h>
     
    131131#endif
    132132
    133  /** @}
     133/** @}
    134134 */
    135 
  • kernel/arch/ia32/include/smp/smp.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __ia32_SMP_H__
    36 #define __ia32_SMP_H__
     35#ifndef KERN_ia32_SMP_H_
     36#define KERN_ia32_SMP_H_
    3737
    3838#include <arch/types.h>
     
    5252#endif
    5353
    54  /** @}
     54/** @}
    5555 */
    56 
  • kernel/arch/ia32/include/types.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __TYPES_H__
    36 #define __TYPES_H__
     35#ifndef KERN_ia32_TYPES_H_
     36#define KERN_ia32_TYPES_H_
    3737
    3838#define NULL 0
  • kernel/arch/ia32/src/bios/bios.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    4444}
    4545
    46  /** @}
     46/** @}
    4747 */
    48 
  • kernel/arch/ia32/src/ia32.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32
     29/** @addtogroup ia32
    3030 * @{
    3131 */
     
    156156}
    157157
    158  /** @}
     158/** @}
    159159 */
    160 
  • kernel/arch/ia32/src/mm/as.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    4343}
    4444
    45  /** @}
     45/** @}
    4646 */
    47 
  • kernel/arch/ia32/src/mm/frame.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    144144}
    145145
    146  /** @}
     146/** @}
    147147 */
    148 
  • kernel/arch/ia32/src/mm/memory_init.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    7676}
    7777
    78 
    79  /** @}
     78/** @}
    8079 */
    81 
  • kernel/arch/ia32/src/mm/page.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm
    3030 * @{
    3131 */
     
    118118}
    119119
    120  /** @}
     120/** @}
    121121 */
    122 
  • kernel/arch/ia32/src/mm/tlb.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32mm
     29/** @addtogroup ia32mm 
    3030 * @{
    3131 */
     
    6868}
    6969
    70  /** @}
     70/** @}
    7171 */
    72 
  • kernel/arch/ia32/src/pm.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    237237}
    238238
    239  /** @}
    240  */
    241 
     239/** @}
     240 */
  • kernel/arch/ia32/src/proc/thread.c

    re5ecc02 r06e1e95  
    4646/** @}
    4747 */
    48 
  • kernel/arch/ia32/src/smp/apic.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    578578#endif /* CONFIG_SMP */
    579579
    580  /** @}
    581  */
    582 
     580/** @}
     581 */
  • kernel/arch/ia32/src/smp/ipi.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    4545#endif /* CONFIG_SMP */
    4646
    47  /** @}
     47/** @}
    4848 */
    49 
  • kernel/arch/ia32/src/smp/mps.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    431431#endif /* CONFIG_SMP */
    432432
    433  /** @}
    434  */
    435 
     433/** @}
     434 */
  • kernel/arch/ia32/src/smp/smp.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    181181#endif /* CONFIG_SMP */
    182182
    183  /** @}
     183/** @}
    184184 */
    185 
  • kernel/arch/ia32/src/userspace.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup ia32   
     29/** @addtogroup ia32   
    3030 * @{
    3131 */
     
    8484}
    8585
    86  /** @}
     86/** @}
    8787 */
    88 
Note: See TracChangeset for help on using the changeset viewer.