Changeset 06e1e95 in mainline for kernel/generic


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
Files:
85 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>

  • kernel/generic/src/console/chardev.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericconsole
     29/** @addtogroup genericconsole
    3030 * @{
    3131 */
    … …  
    7575}
    7676
    77  /** @}
     77/** @}
    7878 */
    79 

  • kernel/generic/src/console/cmd.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericconsole
     29/** @addtogroup genericconsole
    3030 * @{
    3131 */
    … …  
    807807}
    808808
    809  /** @}
    810  */
    811 
     809/** @}
     810 */

  • kernel/generic/src/console/console.c

    re5ecc02 r06e1e95  
    2828 */
    2929
    30  /** @addtogroup genericconsole
     30/** @addtogroup genericconsole
    3131 * @{
    3232 */
    … …  
    166166}
    167167
    168  /** @}
     168/** @}
    169169 */
    170 

  • kernel/generic/src/console/kconsole.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericconsole
     29/** @addtogroup genericconsole
    3030 * @{
    3131 */
    … …  
    627627}
    628628
    629  /** @}
    630  */
    631 
     629/** @}
     630 */

  • kernel/generic/src/console/klog.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericklog
     29/** @addtogroup genericklog
    3030 * @{
    3131 */
    … …  
    106106}
    107107
    108  /** @}
     108/** @}
    109109 */
    110 

  • kernel/generic/src/ddi/ddi.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericddi
     29/** @addtogroup genericddi
    3030 * @{
    3131 */
    … …  
    206206}
    207207
    208  /** @}
    209  */
    210 
     208/** @}
     209 */

  • kernel/generic/src/debug/symtab.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup genericdebug
     29/** @addtogroup genericdebug
    3030 * @{
    3131 */
    … …  
    198198}
    199199
    200  /** @}
    201  */
    202 
     200/** @}
     201 */

  • kernel/generic/src/ipc/ipcrsc.c

    re5ecc02 r06e1e95  
    9797 *   to the calling task. All new calls through this phone
    9898 *   get a EHUNGUP error code, the task is expected to
    99  *   send an sys_ipc_hangup after cleaning up it's internal structures.
     99 *   send an sys_ipc_hangup after cleaning up its internal structures.
    100100 *
    101101 * Call forwarding

  • kernel/generic/src/printf/printf.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
    … …  
    4949}
    5050
    51 
    52  /** @}
     51/** @}
    5352 */
    54 

  • kernel/generic/src/printf/printf_core.c

    re5ecc02 r06e1e95  
    2828 */
    2929
    30  /** @addtogroup generic       
     30/** @addtogroup generic
    3131 * @{
    3232 */
    … …  
    497497                                ++i;
    498498                                switch (c = fmt[i]) {
    499                                         case '#': flags |= __PRINTF_FLAG_PREFIX; break;
    500                                         case '-': flags |= __PRINTF_FLAG_LEFTALIGNED; break;
    501                                         case '+': flags |= __PRINTF_FLAG_SHOWPLUS; break;
    502                                         case ' ': flags |= __PRINTF_FLAG_SPACESIGN; break;
    503                                         case '0': flags |= __PRINTF_FLAG_ZEROPADDED; break;
    504                                         default: end = 1;
     499                                case '#': flags |= __PRINTF_FLAG_PREFIX; break;
     500                                case '-': flags |= __PRINTF_FLAG_LEFTALIGNED; break;
     501                                case '+': flags |= __PRINTF_FLAG_SHOWPLUS; break;
     502                                case ' ': flags |= __PRINTF_FLAG_SPACESIGN; break;
     503                                case '0': flags |= __PRINTF_FLAG_ZEROPADDED; break;
     504                                default: end = 1;
    505505                                };     
    506506                               
    … …  
    546546
    547547                        switch (fmt[i++]) {
    548                                 /** TODO: unimplemented qualifiers:
    549                                 * t ptrdiff_t - ISO C 99
    550                                 */
    551                                 case 'h':       /* char or short */
    552                                         qualifier = PrintfQualifierShort;
    553                                         if (fmt[i] == 'h') {
    554                                                 i++;
    555                                                 qualifier = PrintfQualifierByte;
    556                                         }
    557                                         break;
    558                                 case 'l':       /* long or long long*/
    559                                         qualifier = PrintfQualifierLong;
    560                                         if (fmt[i] == 'l') {
    561                                                 i++;
    562                                                 qualifier = PrintfQualifierLongLong;
    563                                         }
    564                                         break;
    565                                 case 'z':       /* unative_t */
    566                                         qualifier = PrintfQualifierNative;
    567                                         break;
    568                                 default:
    569                                         qualifier = PrintfQualifierInt; /* default type */
    570                                         --i;
     548                        /** TODO: unimplemented qualifiers:
     549                        * t ptrdiff_t - ISO C 99
     550                        */
     551                        case 'h':       /* char or short */
     552                                qualifier = PrintfQualifierShort;
     553                                if (fmt[i] == 'h') {
     554                                        i++;
     555                                        qualifier = PrintfQualifierByte;
     556                                }
     557                                break;
     558                        case 'l':       /* long or long long*/
     559                                qualifier = PrintfQualifierLong;
     560                                if (fmt[i] == 'l') {
     561                                        i++;
     562                                        qualifier = PrintfQualifierLongLong;
     563                                }
     564                                break;
     565                        case 'z':       /* unative_t */
     566                                qualifier = PrintfQualifierNative;
     567                                break;
     568                        default:
     569                                qualifier = PrintfQualifierInt; /* default type */
     570                                --i;
    571571                        }       
    572572                       
    … …  
    575575                        switch (c = fmt[i]) {
    576576
    577                                 /*
    578                                 * String and character conversions.
    579                                 */
    580                                 case 's':
    581                                         if ((retval = print_string(va_arg(ap, char*), width, precision, flags, ps)) < 0) {
    582                                                 counter = -counter;
    583                                                 goto out;
    584                                         };
     577                        /*
     578                        * String and character conversions.
     579                        */
     580                        case 's':
     581                                if ((retval = print_string(va_arg(ap, char*), width, precision, flags, ps)) < 0) {
     582                                        counter = -counter;
     583                                        goto out;
     584                                };
     585
     586                                counter += retval;
     587                                j = i + 1;
     588                                goto next_char;
     589                        case 'c':
     590                                c = va_arg(ap, unsigned int);
     591                                if ((retval = print_char(c, width, flags, ps)) < 0) {
     592                                        counter = -counter;
     593                                        goto out;
     594                                };
    585595                                       
    586                                         counter += retval;
    587                                         j = i + 1;
    588                                         goto next_char;
    589                                 case 'c':
    590                                         c = va_arg(ap, unsigned int);
    591                                         if ((retval = print_char(c, width, flags, ps)) < 0) {
    592                                                 counter = -counter;
    593                                                 goto out;
    594                                         };
    595                                        
    596                                         counter += retval;
    597                                         j = i + 1;
    598                                         goto next_char;
    599 
    600                                 /*
    601                                  * Integer values
    602                                 */
    603                                 case 'P': /* pointer */
    604                                         flags |= __PRINTF_FLAG_BIGCHARS;
    605                                 case 'p':
    606                                         flags |= __PRINTF_FLAG_PREFIX;
    607                                         base = 16;
    608                                         qualifier = PrintfQualifierPointer;
    609                                         break; 
    610                                 case 'b':
    611                                         base = 2;
    612                                         break;
    613                                 case 'o':
    614                                         base = 8;
    615                                         break;
    616                                 case 'd':
    617                                 case 'i':
    618                                         flags |= __PRINTF_FLAG_SIGNED; 
    619                                 case 'u':
    620                                         break;
    621                                 case 'X':
    622                                         flags |= __PRINTF_FLAG_BIGCHARS;
    623                                 case 'x':
    624                                         base = 16;
    625                                         break;
    626                                 /* percentile itself */
    627                                 case '%':
    628                                         j = i;
    629                                         goto next_char;
    630                                 /*
    631                                 * Bad formatting.
    632                                 */
    633                                 default:
    634                                         /* Unknown format
    635                                          *  now, the j is index of '%' so we will
    636                                          * print whole bad format sequence
    637                                          */
    638                                         goto next_char;         
     596                                counter += retval;
     597                                j = i + 1;
     598                                goto next_char;
     599
     600                        /*
     601                         * Integer values
     602                         */
     603                        case 'P': /* pointer */
     604                                flags |= __PRINTF_FLAG_BIGCHARS;
     605                        case 'p':
     606                                flags |= __PRINTF_FLAG_PREFIX;
     607                                base = 16;
     608                                qualifier = PrintfQualifierPointer;
     609                                break; 
     610                        case 'b':
     611                                base = 2;
     612                                break;
     613                        case 'o':
     614                                base = 8;
     615                                break;
     616                        case 'd':
     617                        case 'i':
     618                                flags |= __PRINTF_FLAG_SIGNED; 
     619                        case 'u':
     620                                break;
     621                        case 'X':
     622                                flags |= __PRINTF_FLAG_BIGCHARS;
     623                        case 'x':
     624                                base = 16;
     625                                break;
     626                        /* percentile itself */
     627                        case '%':
     628                                j = i;
     629                                goto next_char;
     630                        /*
     631                         * Bad formatting.
     632                         */
     633                        default:
     634                                /* Unknown format
     635                                 * now, j is index of '%' so we will
     636                                 * print whole bad format sequence
     637                                 */
     638                                goto next_char;         
    639639                        }
    640640               
    … …  
    643643                        /* print number */
    644644                        switch (qualifier) {
    645                                 case PrintfQualifierByte:
    646                                         size = sizeof(unsigned char);
    647                                         number = (uint64_t)va_arg(ap, unsigned int);
    648                                         break;
    649                                 case PrintfQualifierShort:
    650                                         size = sizeof(unsigned short);
    651                                         number = (uint64_t)va_arg(ap, unsigned int);
    652                                         break;
    653                                 case PrintfQualifierInt:
    654                                         size = sizeof(unsigned int);
    655                                         number = (uint64_t)va_arg(ap, unsigned int);
    656                                         break;
    657                                 case PrintfQualifierLong:
    658                                         size = sizeof(unsigned long);
    659                                         number = (uint64_t)va_arg(ap, unsigned long);
    660                                         break;
    661                                 case PrintfQualifierLongLong:
    662                                         size = sizeof(unsigned long long);
    663                                         number = (uint64_t)va_arg(ap, unsigned long long);
    664                                         break;
    665                                 case PrintfQualifierPointer:
    666                                         size = sizeof(void *);
    667                                         number = (uint64_t)(unsigned long)va_arg(ap, void *);
    668                                         break;
    669                                 case PrintfQualifierNative:
    670                                         size = sizeof(unative_t);
    671                                         number = (uint64_t)va_arg(ap, unative_t);
    672                                         break;
    673                                 default: /* Unknown qualifier */
    674                                         counter = -counter;
    675                                         goto out;
     645                        case PrintfQualifierByte:
     646                                size = sizeof(unsigned char);
     647                                number = (uint64_t)va_arg(ap, unsigned int);
     648                                break;
     649                        case PrintfQualifierShort:
     650                                size = sizeof(unsigned short);
     651                                number = (uint64_t)va_arg(ap, unsigned int);
     652                                break;
     653                        case PrintfQualifierInt:
     654                                size = sizeof(unsigned int);
     655                                number = (uint64_t)va_arg(ap, unsigned int);
     656                                break;
     657                        case PrintfQualifierLong:
     658                                size = sizeof(unsigned long);
     659                                number = (uint64_t)va_arg(ap, unsigned long);
     660                                break;
     661                        case PrintfQualifierLongLong:
     662                                size = sizeof(unsigned long long);
     663                                number = (uint64_t)va_arg(ap, unsigned long long);
     664                                break;
     665                        case PrintfQualifierPointer:
     666                                size = sizeof(void *);
     667                                number = (uint64_t)(unsigned long)va_arg(ap, void *);
     668                                break;
     669                        case PrintfQualifierNative:
     670                                size = sizeof(unative_t);
     671                                number = (uint64_t)va_arg(ap, unative_t);
     672                                break;
     673                        default: /* Unknown qualifier */
     674                                counter = -counter;
     675                                goto out;
    676676                        }
    677677                       
    … …  
    719719}
    720720
    721 
    722  /** @}
    723  */
    724 
     721/** @}
     722 */

  • kernel/generic/src/printf/snprintf.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
    … …  
    4949}
    5050
    51  /** @}
     51/** @}
    5252 */
    5353

  • kernel/generic/src/printf/sprintf.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
    … …  
    4848}
    4949
    50  /** @}
     50/** @}
    5151 */
    52 

  • kernel/generic/src/printf/vprintf.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
    … …  
    5454}
    5555
    56 
    57 
    58  /** @}
     56/** @}
    5957 */
    60 

  • kernel/generic/src/printf/vsnprintf.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
    … …  
    101101}
    102102
    103  /** @}
     103/** @}
    104104 */
    105 

  • kernel/generic/src/printf/vsprintf.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
    … …  
    4040}
    4141
    42 
    43  /** @}
     42/** @}
    4443 */
    45 

  • kernel/generic/src/proc/scheduler.c

    re5ecc02 r06e1e95  
    375375
    376376                switch (THREAD->state) {
    377                     case Running:
     377                case Running:
    378378                        spinlock_unlock(&THREAD->lock);
    379379                        thread_ready(THREAD);
    380380                        break;
    381381
    382                     case Exiting:
     382                case Exiting:
    383383repeat:
    384384                        if (THREAD->detached) {
    … …  
    406406                        break;
    407407                       
    408                     case Sleeping:
     408                case Sleeping:
    409409                        /*
    410410                         * Prefer the thread after it's woken up.
    … …  
    431431                        break;
    432432
    433                     default:
     433                default:
    434434                        /*
    435435                         * Entering state is unexpected.

  • kernel/generic/src/security/cap.c

    re5ecc02 r06e1e95  
    2727 */
    2828
    29  /** @addtogroup generic       
     29/** @addtogroup generic
    3030 * @{
    3131 */
    … …  
    178178}
    179179
    180  /** @}
     180/** @}
    181181 */
    182182

  • kernel/generic/src/synch/rwlock.c

    re5ecc02 r06e1e95  
    207207                rc = _mutex_lock_timeout(&rwl->exclusive, usec, flags);
    208208                switch (rc) {
    209                         case ESYNCH_WOULD_BLOCK:
    210                                 /*
    211                                 * release_spinlock() wasn't called
    212                                 */
    213                                 thread_register_call_me(NULL, NULL);
    214                                 spinlock_unlock(&rwl->lock);
    215                         case ESYNCH_TIMEOUT:
    216                         case ESYNCH_INTERRUPTED:
    217                                 /*
    218                                 * The sleep timed out.
    219                                 * We just restore interrupt priority level.
    220                                 */
    221                         case ESYNCH_OK_BLOCKED:         
    222                                 /*
    223                                 * We were woken with rwl->readers_in already incremented.
    224                                 * Note that this arrangement avoids race condition between
    225                                 * two concurrent readers. (Race is avoided if 'exclusive' is
    226                                 * locked at the same time as 'readers_in' is incremented.
    227                                 * Same time means both events happen atomically when
    228                                 * rwl->lock is held.)
    229                                 */
    230                                 interrupts_restore(ipl);
    231                                 break;
    232                         case ESYNCH_OK_ATOMIC:
    233                                 panic("_mutex_lock_timeout()==ESYNCH_OK_ATOMIC\n");
    234                                 break;
    235                         default:
    236                                 panic("invalid ESYNCH\n");
    237                                 break;
     209                case ESYNCH_WOULD_BLOCK:
     210                        /*
     211                        * release_spinlock() wasn't called
     212                        */
     213                        thread_register_call_me(NULL, NULL);
     214                        spinlock_unlock(&rwl->lock);
     215                case ESYNCH_TIMEOUT:
     216                case ESYNCH_INTERRUPTED:
     217                        /*
     218                        * The sleep timed out.
     219                        * We just restore interrupt priority level.
     220                        */
     221                case ESYNCH_OK_BLOCKED:         
     222                        /*
     223                        * We were woken with rwl->readers_in already incremented.
     224                        * Note that this arrangement avoids race condition between
     225                        * two concurrent readers. (Race is avoided if 'exclusive' is
     226                        * locked at the same time as 'readers_in' is incremented.
     227                        * Same time means both events happen atomically when
     228                        * rwl->lock is held.)
     229                        */
     230                        interrupts_restore(ipl);
     231                        break;
     232                case ESYNCH_OK_ATOMIC:
     233                        panic("_mutex_lock_timeout()==ESYNCH_OK_ATOMIC\n");
     234                        break;
     235                default:
     236                        panic("invalid ESYNCH\n");
     237                        break;
    238238                }
    239239                return rc;

  • kernel/generic/src/syscall/copy.c

    re5ecc02 r06e1e95  
    106106       
    107107        ASSERT(THREAD);
    108         ASSERT(!THREAD->in_copy_from_uspace);
     108        ASSERT(!THREAD->in_copy_to_uspace);
    109109       
    110110        if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
    … …  
    119119       
    120120        ipl = interrupts_disable();
    121         THREAD->in_copy_from_uspace = true;
     121        THREAD->in_copy_to_uspace = true;
    122122       
    123123        rc = memcpy_to_uspace(uspace_dst, src, size);
    124124
    125         THREAD->in_copy_from_uspace = false;
     125        THREAD->in_copy_to_uspace = false;
    126126
    127127        interrupts_restore(ipl);
Note: See TracChangeset for help on using the changeset viewer.