Changeset 06e1e95 in mainline for kernel/generic/include


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/generic/include
Files:
66 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/include/adt/bitmap.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericadt
     29/** @addtogroup genericadt
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __BITMAP_H__
    36 #define __BITMAP_H__
     35#ifndef KERN_BITMAP_H_
     36#define KERN_BITMAP_H_
    3737
    3838#include <arch/types.h>
     
    5353#endif
    5454
    55  /** @}
     55/** @}
    5656 */
    57 
  • kernel/generic/include/adt/btree.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericadt
     29/** @addtogroup genericadt
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __BTREE_H__
    36 #define __BTREE_H__
     35#ifndef KERN_BTREE_H_
     36#define KERN_BTREE_H_
    3737
    3838#include <arch/types.h>
     
    100100#endif
    101101
    102  /** @}
     102/** @}
    103103 */
    104 
  • kernel/generic/include/adt/fifo.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericadt
     29/** @addtogroup genericadt
    3030 * @{
    3131 */
     
    4343 */
    4444
    45 #ifndef __FIFO_H__
    46 #define __FIFO_H__
     45#ifndef KERN_FIFO_H_
     46#define KERN_FIFO_H_
    4747
    4848#include <typedefs.h>
     
    119119#endif
    120120
    121  /** @}
     121/** @}
    122122 */
    123 
  • kernel/generic/include/adt/list.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericadt
     29/** @addtogroup genericadt
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __LIST_H__
    36 #define __LIST_H__
     35#ifndef KERN_LIST_H_
     36#define KERN_LIST_H_
    3737
    3838#include <arch/types.h>
     
    183183#endif
    184184
    185  /** @}
     185/** @}
    186186 */
    187 
  • kernel/generic/include/atomic.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __ATOMIC_H__
    36 #define __ATOMIC_H__
     35#ifndef KERN_ATOMIC_H_
     36#define KERN_ATOMIC_H_
    3737
    3838typedef struct atomic {
  • kernel/generic/include/bitops.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef _BITOPS_H_
    36 #define _BITOPS_H_
     35#ifndef KERN_BITOPS_H_
     36#define KERN_BITOPS_H_
    3737
    3838#include <typedefs.h>
  • kernel/generic/include/byteorder.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __BYTEORDER_H__
    36 #define __BYTEORDER_H__
     35#ifndef KERN_BYTEORDER_H_
     36#define KERN_BYTEORDER_H_
    3737
    3838static inline uint64_t uint64_t_byteorder_swap(uint64_t n)
  • kernel/generic/include/config.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __CONFIG_H__
    36 #define __CONFIG_H__
     35#ifndef KERN_CONFIG_H_
     36#define KERN_CONFIG_H_
    3737
    3838#include <arch/types.h>
  • kernel/generic/include/console/chardev.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericconsole
     29/** @addtogroup genericconsole
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __CHARDEV_H__
    36 #define __CHARDEV_H__
     35#ifndef KERN_CHARDEV_H_
     36#define KERN_CHARDEV_H_
    3737
    3838#include <typedefs.h>
     
    7272extern void chardev_push_character(chardev_t *chardev, uint8_t ch);
    7373
    74 #endif /* __CHARDEV_H__ */
     74#endif /* KERN_CHARDEV_H_ */
    7575
    76  /** @}
     76/** @}
    7777 */
    78 
  • kernel/generic/include/console/cmd.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericconsole
     29/** @addtogroup genericconsole
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __CMD_H__
    36 #define __CMD_H__
     35#ifndef KERN_CMD_H_
     36#define KERN_CMD_H_
    3737
    3838#include <typedefs.h>
     
    4343#endif
    4444
    45  /** @}
     45/** @}
    4646 */
    47 
  • kernel/generic/include/console/console.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericconsole
     29/** @addtogroup genericconsole
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __CONSOLE_H__
    36 #define __CONSOLE_H__
     35#ifndef KERN_CONSOLE_H_
     36#define KERN_CONSOLE_H_
    3737
    3838#include <arch/types.h>
     
    5050extern void arch_release_console(void);
    5151
    52 #endif /* __CHARDEV_H__ */
     52#endif /* KERN_CONSOLE_H_ */
    5353
    54  /** @}
     54/** @}
    5555 */
    56 
  • kernel/generic/include/console/kconsole.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericconsole
     29/** @addtogroup genericconsole
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __KCONSOLE_H__
    36 #define __KCONSOLE_H__
     35#ifndef KERN_KCONSOLE_H_
     36#define KERN_KCONSOLE_H_
    3737
    3838#include <typedefs.h>
     
    8181#endif
    8282
    83  /** @}
     83/** @}
    8484 */
    85 
  • kernel/generic/include/console/klog.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericklog
     29/** @addtogroup genericklog
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef _KLOG_H_
    36 #define _KLOG_H_
     35#ifndef KERN_KLOG_H_
     36#define KERN_KLOG_H_
    3737
    3838void klog_init(void);
     
    4141#endif
    4242
    43  /** @}
     43/** @}
    4444 */
    45 
  • kernel/generic/include/context.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __CONTEXT_H__
    36 #define __CONTEXT_H__
     35#ifndef KERN_CONTEXT_H_
     36#define KERN_CONTEXT_H_
    3737
    3838#include <arch/types.h>
  • kernel/generic/include/ddi/ddi.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericddi
     29/** @addtogroup genericddi
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __DDI_H__
    36 #define __DDI_H__
     35#ifndef KERN_DDI_H_
     36#define KERN_DDI_H_
    3737
    3838#include <ddi/ddi_arg.h>
     
    5252#endif
    5353
    54  /** @}
     54/** @}
    5555 */
    56 
  • kernel/generic/include/ddi/ddi_arg.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericddi
     29/** @addtogroup genericddi
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __DDI_ARG_H__
    36 #define __DDI_ARG_H__
     35#ifndef KERN_DDI_ARG_H_
     36#define KERN_DDI_ARG_H_
    3737
    3838/** Structure encapsulating arguments for SYS_MAP_PHYSMEM syscall. */
     
    5454#endif
    5555
    56  /** @}
     56/** @}
    5757 */
    58 
  • kernel/generic/include/debug.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __DEBUG_H__
    36 #define __DEBUG_H__
     35#ifndef KERN_DEBUG_H_
     36#define KERN_DEBUG_H_
    3737
    3838#include <panic.h>
  • kernel/generic/include/elf.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __ELF_H__
    36 #define __ELF_H__
     35#ifndef KERN_ELF_H_
     36#define KERN_ELF_H_
    3737
    3838#include <arch/elf.h>
  • kernel/generic/include/errno.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __ERRNO_H__
    36 #define __ERRNO_H__
     35#ifndef KERN_ERRNO_H_
     36#define KERN_ERRNO_H_
    3737
    3838/* 1-255 are kernel error codes, 256-512 are user error codes */
  • kernel/generic/include/fpu_context.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __FPU_CONTEXT_H__
    36 #define __FPU_CONTEXT_H__
     35#ifndef KERN_FPU_CONTEXT_H_
     36#define KERN_FPU_CONTEXT_H_
    3737
    3838#include <arch/fpu_context.h>
     
    4949extern void fpu_disable(void);
    5050
    51 
    52 #endif /* __FPU_CONTEXT_H__ */
    53 
     51#endif /* KERN_FPU_CONTEXT_H_ */
    5452
    5553/** @}
  • kernel/generic/include/func.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __FUNC_H__
    36 #define __FUNC_H__
     35#ifndef KERN_FUNC_H_
     36#define KERN_FUNC_H_
    3737
    3838#include <arch/types.h>
  • kernel/generic/include/interrupt.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __INTERRUPT_H__
    36 #define __INTERRUPT_H__
     35#ifndef KERN_INTERRUPT_H_
     36#define KERN_INTERRUPT_H_
    3737
    3838#include <arch/interrupt.h>
  • kernel/generic/include/ipc/ipc.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericipc
     29/** @addtogroup genericipc
    3030 * @{
    3131 */
     
    167167        unative_t args[IPC_CALL_LEN];
    168168        phone_t *phone;
    169 }ipc_data_t;
     169} ipc_data_t;
    170170
    171171struct answerbox_s {
     
    218218
    219219        ipc_data_t data;  /**< Data passed from/to userspace */
    220 }call_t;
     220} call_t;
    221221
    222222extern void ipc_init(void);
  • kernel/generic/include/ipc/ipcrsc.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericipc
     29/** @addtogroup genericipc
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __IPCRSC_H__
    36 #define __IPCRSC_H__
     35#ifndef KERN_IPCRSC_H_
     36#define KERN_IPCRSC_H_
    3737
    3838call_t * get_call(unative_t callid);
     
    4343#endif
    4444
    45  /** @}
     45/** @}
    4646 */
    47 
  • kernel/generic/include/ipc/irq.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericipc
     29/** @addtogroup genericipc
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __IRQ_H__
    36 #define __IRQ_H__
     35#ifndef KERN_IRQ_H_
     36#define KERN_IRQ_H_
    3737
    3838/** Maximum length of IPC IRQ program */
     
    8989#endif
    9090
    91  /** @}
     91/** @}
    9292 */
    93 
  • kernel/generic/include/ipc/sysipc.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericipc
     29/** @addtogroup genericipc
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __SYSIPC_H__
    36 #define __SYSIPC_H__
     35#ifndef KERN_SYSIPC_H_
     36#define KERN_SYSIPC_H_
    3737
    3838#include <ipc/ipc.h>
     
    5959#endif
    6060
    61  /** @}
     61/** @}
    6262 */
    63 
  • kernel/generic/include/main/kinit.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup main
     29/** @addtogroup main
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __KINIT_H__
    36 #define __KINIT_H__
     35#ifndef KERN_KINIT_H_
     36#define KERN_KINIT_H_
    3737
    3838extern void kinit(void *arg);
     
    4040#endif
    4141
    42  /** @}
     42/** @}
    4343 */
    44 
  • kernel/generic/include/main/main.h

    re5ecc02 r06e1e95  
    3333 */
    3434 
    35 #ifndef __MAIN_H__
    36 #define __MAIN_H__
     35#ifndef KERN_MAIN_H_
     36#define KERN_MAIN_H_
    3737
    3838#include <typedefs.h>
  • kernel/generic/include/main/uinit.h

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

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup main
     29/** @addtogroup main
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __VERSION_H__
    36 #define __VERSION_H__
     35#ifndef KERN_VERSION_H_
     36#define KERN_VERSION_H_
    3737
    3838extern void version_print(void);
     
    4040#endif
    4141
    42  /** @}
     42/** @}
    4343 */
    4444
  • kernel/generic/include/memstr.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __MEMSTR_H__
    36 #define __MEMSTR_H__
     35#ifndef KERN_MEMSTR_H_
     36#define KERN_MEMSTR_H_
    3737
    3838#include <typedefs.h>
  • kernel/generic/include/mm/as.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __AS_H__
    36 #define __AS_H__
     35#ifndef KERN_AS_H_
     36#define KERN_AS_H_
    3737
    3838/** Address space area flags. */
  • kernel/generic/include/mm/asid.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericmm
     29/** @addtogroup genericmm
    3030 * @{
    3131 */
     
    3838 */
    3939
    40 #ifndef __ASID_H__
    41 #define __ASID_H__
     40#ifndef KERN_ASID_H_
     41#define KERN_ASID_H_
    4242
    4343#ifndef __ASM__
     
    8484#endif
    8585
    86 
    87  /** @}
     86/** @}
    8887 */
    89 
  • kernel/generic/include/mm/buddy.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericmm
     29/** @addtogroup genericmm
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __BUDDY_H__
    36 #define __BUDDY_H__
     35#ifndef KERN_BUDDY_H_
     36#define KERN_BUDDY_H_
    3737
    3838#include <arch/types.h>
     
    5656
    5757struct buddy_system {
    58         uint8_t max_order;                              /**< Maximal order of block which can be stored by buddy system. */
     58        uint8_t max_order;              /**< Maximal order of block which can be stored by buddy system. */
    5959        link_t *order;
    6060        buddy_system_operations_t *op;
    61         void *data;                             /**< Pointer to be used by the implementation. */
     61        void *data;                     /**< Pointer to be used by the implementation. */
    6262};
    6363
     
    7474#endif
    7575
    76  /** @}
     76/** @}
    7777 */
    78 
  • kernel/generic/include/mm/page.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericmm
     29/** @addtogroup genericmm
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __PAGE_H__
    36 #define __PAGE_H__
     35#ifndef KERN_PAGE_H_
     36#define KERN_PAGE_H_
    3737
    3838#include <arch/mm/asid.h>
     
    9898#endif
    9999
    100  /** @}
     100/** @}
    101101 */
    102 
  • kernel/generic/include/mm/slab.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericmm
     29/** @addtogroup genericmm
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __SLAB_H__
    36 #define __SLAB_H__
     35#ifndef KERN_SLAB_H_
     36#define KERN_SLAB_H_
    3737
    3838#include <adt/list.h>
     
    136136#endif
    137137
    138  /** @}
     138/** @}
    139139 */
    140 
  • kernel/generic/include/mm/tlb.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericmm
     29/** @addtogroup genericmm
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __TLB_H__
    36 #define __TLB_H__
     35#ifndef KERN_TLB_H_
     36#define KERN_TLB_H_
    3737
    3838#include <arch/mm/asid.h>
     
    7676#endif /* CONFIG_SMP */
    7777
    78 
    7978/* Export TLB interface that each architecture must implement. */
    8079extern void tlb_arch_init(void);
     
    8786#endif
    8887
    89  /** @}
     88/** @}
    9089 */
    91 
  • kernel/generic/include/panic.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __PANIC_H__
    36 #define __PANIC_H__
     35#ifndef KERN_PANIC_H_
     36#define KERN_PANIC_H_
    3737
    3838#ifdef CONFIG_DEBUG
  • kernel/generic/include/preemption.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __PREEMPTION_H__
    36 #define __PREEMPTION_H__
     35#ifndef KERN_PREEMPTION_H_
     36#define KERN_PREEMPTION_H_
    3737
    3838extern void preemption_disable(void);
  • kernel/generic/include/print.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __PRINT_H__
    36 #define __PRINT_H__
     35#ifndef KERN_PRINT_H_
     36#define KERN_PRINT_H_
    3737
    3838#include <arch/types.h>
  • kernel/generic/include/printf/printf_core.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __PRINTF_CORE_H__
    36 #define __PRINTF_CORE_H__
     35#ifndef KERN_PRINTF_CORE_H_
     36#define KERN_PRINTF_CORE_H_
    3737
    3838#include <typedefs.h>
     
    5252#endif
    5353
    54  /** @}
     54/** @}
    5555 */
    56 
  • kernel/generic/include/proc/scheduler.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __SCHEDULER_H__
    36 #define __SCHEDULER_H__
     35#ifndef KERN_SCHEDULER_H_
     36#define KERN_SCHEDULER_H_
    3737
    3838#include <synch/spinlock.h>
  • kernel/generic/include/proc/task.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __TASK_H__
    36 #define __TASK_H__
     35#ifndef KERN_TASK_H_
     36#define KERN_TASK_H_
    3737
    3838#include <typedefs.h>
     
    108108#endif
    109109
    110  /** @}
     110/** @}
    111111 */
    112 
  • kernel/generic/include/proc/thread.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __THREAD_H__
    36 #define __THREAD_H__
     35#ifndef KERN_THREAD_H_
     36#define KERN_THREAD_H_
    3737
    3838#include <arch/proc/thread.h>
  • kernel/generic/include/proc/uarg.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __UARG_H__
    36 #define __UARG_H__
     35#ifndef KERN_UARG_H_
     36#define KERN_UARG_H_
    3737
    3838/** Structure passed to uinit kernel thread as argument. */
  • kernel/generic/include/putchar.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __PUTCHAR_H__
    36 #define __PUTCHAR_H__
     35#ifndef KERN_PUTCHAR_H_
     36#define KERN_PUTCHAR_H_
    3737
    3838extern void putchar(const char ch);
  • kernel/generic/include/security/cap.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic
     29/** @addtogroup generic
    3030 * @{
    3131 */
     
    9090#endif
    9191
    92  /** @}
     92/** @}
    9393 */
    94 
  • kernel/generic/include/smp/ipi.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __IPI_H__
    36 #define __IPI_H__
     35#ifndef KERN_IPI_H_
     36#define KERN_IPI_H_
    3737
    3838#ifdef CONFIG_SMP
     
    4545#endif
    4646
    47  /** @}
     47/** @}
    4848 */
    49 
  • kernel/generic/include/smp/smp.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __SMP_H__
    36 #define __SMP_H__
     35#ifndef KERN_SMP_H_
     36#define KERN_SMP_H_
    3737
    3838#ifdef CONFIG_SMP
     
    4444#endif /* __SMP_H__ */
    4545
    46  /** @}
     46/** @}
    4747 */
    48 
  • kernel/generic/include/sort.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __SORT_H__
    36 #define __SORT_H__
     35#ifndef KERN_SORT_H_
     36#define KERN_SORT_H_
    3737
    3838#include <arch/types.h>
  • kernel/generic/include/stackarg.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 
    3635/*
    3736 * Variable argument list manipulation macros
     
    3938 */
    4039 
    41 #ifndef __STACKARG_H__
    42 #define __STACKARG_H__
     40#ifndef KERN_STACKARG_H_
     41#define KERN_STACKARG_H_
    4342
    4443#include <arch/types.h>
  • kernel/generic/include/stdarg.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 
    3635/*
    3736 * Variable argument list manipulation macros
     
    3938 */
    4039 
    41 #ifndef __STDARG_H__
    42 #define __STDARG_H__
     40#ifndef KERN_STDARG_H_
     41#define KERN_STDARG_H_
    4342
    4443typedef __builtin_va_list va_list;
  • kernel/generic/include/symtab.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __SYMTAB_H__
    36 #define __SYMTAB_H__
     35#ifndef KERN_SYMTAB_H_
     36#define KERN_SYMTAB_H_
    3737
    3838#include <arch/types.h>
  • kernel/generic/include/synch/condvar.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup sync
     29/** @addtogroup sync
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __CONDVAR_H__
    36 #define __CONDVAR_H__
     35#ifndef KERN_CONDVAR_H_
     36#define KERN_CONDVAR_H_
    3737
    3838#include <arch/types.h>
     
    5757#endif
    5858
    59  /** @}
     59/** @}
    6060 */
    61 
  • kernel/generic/include/synch/futex.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __FUTEX_H__
    36 #define __FUTEX_H__
     35#ifndef KERN_FUTEX_H_
     36#define KERN_FUTEX_H_
    3737
    3838#include <arch/types.h>
     
    6060/** @}
    6161 */
    62 
  • kernel/generic/include/synch/mutex.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup sync
     29/** @addtogroup sync
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __MUTEX_H__
    36 #define __MUTEX_H__
     35#ifndef KERN_MUTEX_H_
     36#define KERN_MUTEX_H_
    3737
    3838#include <arch/types.h>
     
    6060#endif
    6161
    62  /** @}
     62/** @}
    6363 */
    64 
  • kernel/generic/include/synch/rwlock.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup sync
     29/** @addtogroup sync
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __RWLOCK_H__
    36 #define __RWLOCK_H__
     35#ifndef KERN_RWLOCK_H_
     36#define KERN_RWLOCK_H_
    3737
    3838#include <arch/types.h>
     
    7575#endif
    7676
    77 
    78  /** @}
     77/** @}
    7978 */
    80 
  • kernel/generic/include/synch/semaphore.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup sync
     29/** @addtogroup sync
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __SEMAPHORE_H__
    36 #define __SEMAPHORE_H__
     35#ifndef KERN_SEMAPHORE_H_
     36#define KERN_SEMAPHORE_H_
    3737
    3838#include <arch/types.h>
     
    5959#endif
    6060
    61 
    62  /** @}
     61/** @}
    6362 */
    64 
  • kernel/generic/include/synch/spinlock.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup sync
     29/** @addtogroup sync
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __SPINLOCK_H__
    36 #define __SPINLOCK_H__
     35#ifndef KERN_SPINLOCK_H_
     36#define KERN_SPINLOCK_H_
    3737
    3838#include <arch/types.h>
     
    117117#endif
    118118
    119  /** @}
     119/** @}
    120120 */
    121 
  • kernel/generic/include/synch/synch.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup sync
     29/** @addtogroup sync
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __SYNCH_H__
    36 #define __SYNCH_H__
     35#ifndef KERN_SYNCH_H_
     36#define KERN_SYNCH_H_
    3737
    3838#define SYNCH_NO_TIMEOUT        0       /**< Request with no timeout. */
     
    5353#endif
    5454
    55  /** @}
     55/** @}
    5656 */
    57 
  • kernel/generic/include/synch/waitq.h

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup sync
     29/** @addtogroup sync
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #ifndef __WAITQ_H__
    36 #define __WAITQ_H__
     35#ifndef KERN_WAITQ_H_
     36#define KERN_WAITQ_H_
    3737
    3838#include <arch/types.h>
     
    7272#endif
    7373
    74  /** @}
     74/** @}
    7575 */
    76 
  • kernel/generic/include/syscall/copy.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __COPY_H__
    36 #define __COPY_H__
     35#ifndef KERN_COPY_H_
     36#define KERN_COPY_H_
    3737
    3838#include <typedefs.h>
  • kernel/generic/include/syscall/sysarg64.h

    re5ecc02 r06e1e95  
    3636 */
    3737
    38 #ifndef __SYSARG64_H__
    39 #define __SYSARG64_H__
     38#ifndef KERN_SYSARG64_H_
     39#define KERN_SYSARG64_H_
    4040
    4141typedef struct {
  • kernel/generic/include/sysinfo/sysinfo.h

    re5ecc02 r06e1e95  
    3333 */
    3434
     35#ifndef KERN_SYSINFO_H_
     36#define KERN_SYSINFO_H_
     37
    3538#include <arch/types.h>
    3639
     
    6568#define SYSINFO_SUBINFO_FUNCTION 2
    6669
    67 
    6870typedef unative_t (*sysinfo_val_fn_t)(sysinfo_item_t *root);
    6971typedef unative_t (*sysinfo_subinfo_fn_t)(const char *subname);
     
    8486unative_t sys_sysinfo_value(unative_t ptr,unative_t len);
    8587
     88#endif
     89
    8690/** @}
    8791 */
  • kernel/generic/include/test.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __TEST_H__
    36 #define __TEST_H__
     35#ifndef KERN_TEST_H_
     36#define KERN_TEST_H_
    3737
    3838extern void test(void);
  • kernel/generic/include/userspace.h

    re5ecc02 r06e1e95  
    3333 */
    3434
    35 #ifndef __USERSPACE_H__
    36 #define __USERSPACE_H__
     35#ifndef KERN_USERSPACE_H_
     36#define KERN_USERSPACE_H_
    3737
    3838#include <proc/thread.h>
Note: See TracChangeset for help on using the changeset viewer.