Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 1882 → Rev 1888

/trunk/kernel/generic/include/func.h
32,8 → 32,8
/** @file
*/
 
#ifndef __FUNC_H__
#define __FUNC_H__
#ifndef KERN_FUNC_H_
#define KERN_FUNC_H_
 
#include <arch/types.h>
#include <typedefs.h>
/trunk/kernel/generic/include/print.h
32,8 → 32,8
/** @file
*/
 
#ifndef __PRINT_H__
#define __PRINT_H__
#ifndef KERN_PRINT_H_
#define KERN_PRINT_H_
 
#include <arch/types.h>
#include <synch/spinlock.h>
/trunk/kernel/generic/include/fpu_context.h
32,8 → 32,8
/** @file
*/
 
#ifndef __FPU_CONTEXT_H__
#define __FPU_CONTEXT_H__
#ifndef KERN_FPU_CONTEXT_H_
#define KERN_FPU_CONTEXT_H_
 
#include <arch/fpu_context.h>
#include <typedefs.h>
48,9 → 48,7
extern void fpu_enable(void);
extern void fpu_disable(void);
 
#endif /* KERN_FPU_CONTEXT_H_ */
 
#endif /* __FPU_CONTEXT_H__ */
 
 
/** @}
*/
/trunk/kernel/generic/include/stackarg.h
32,14 → 32,13
/** @file
*/
 
 
/*
* Variable argument list manipulation macros
* for architectures using stack to pass arguments.
*/
#ifndef __STACKARG_H__
#define __STACKARG_H__
#ifndef KERN_STACKARG_H_
#define KERN_STACKARG_H_
 
#include <arch/types.h>
 
/trunk/kernel/generic/include/byteorder.h
32,8 → 32,8
/** @file
*/
 
#ifndef __BYTEORDER_H__
#define __BYTEORDER_H__
#ifndef KERN_BYTEORDER_H_
#define KERN_BYTEORDER_H_
 
static inline uint64_t uint64_t_byteorder_swap(uint64_t n)
{
/trunk/kernel/generic/include/symtab.h
32,8 → 32,8
/** @file
*/
 
#ifndef __SYMTAB_H__
#define __SYMTAB_H__
#ifndef KERN_SYMTAB_H_
#define KERN_SYMTAB_H_
 
#include <arch/types.h>
 
/trunk/kernel/generic/include/sysinfo/sysinfo.h
32,6 → 32,9
/** @file
*/
 
#ifndef KERN_SYSINFO_H_
#define KERN_SYSINFO_H_
 
#include <arch/types.h>
 
typedef union sysinfo_item_val {
64,7 → 67,6
#define SYSINFO_SUBINFO_TABLE 1
#define SYSINFO_SUBINFO_FUNCTION 2
 
 
typedef unative_t (*sysinfo_val_fn_t)(sysinfo_item_t *root);
typedef unative_t (*sysinfo_subinfo_fn_t)(const char *subname);
 
83,5 → 85,7
unative_t sys_sysinfo_valid(unative_t ptr,unative_t len);
unative_t sys_sysinfo_value(unative_t ptr,unative_t len);
 
#endif
 
/** @}
*/
/trunk/kernel/generic/include/config.h
32,8 → 32,8
/** @file
*/
 
#ifndef __CONFIG_H__
#define __CONFIG_H__
#ifndef KERN_CONFIG_H_
#define KERN_CONFIG_H_
 
#include <arch/types.h>
#include <typedefs.h>
/trunk/kernel/generic/include/elf.h
32,8 → 32,8
/** @file
*/
 
#ifndef __ELF_H__
#define __ELF_H__
#ifndef KERN_ELF_H_
#define KERN_ELF_H_
 
#include <arch/elf.h>
#include <arch/types.h>
/trunk/kernel/generic/include/proc/scheduler.h
32,8 → 32,8
/** @file
*/
 
#ifndef __SCHEDULER_H__
#define __SCHEDULER_H__
#ifndef KERN_SCHEDULER_H_
#define KERN_SCHEDULER_H_
 
#include <synch/spinlock.h>
#include <time/clock.h> /* HZ */
/trunk/kernel/generic/include/proc/uarg.h
32,8 → 32,8
/** @file
*/
 
#ifndef __UARG_H__
#define __UARG_H__
#ifndef KERN_UARG_H_
#define KERN_UARG_H_
 
/** Structure passed to uinit kernel thread as argument. */
typedef struct uspace_arg {
/trunk/kernel/generic/include/proc/task.h
32,8 → 32,8
/** @file
*/
 
#ifndef __TASK_H__
#define __TASK_H__
#ifndef KERN_TASK_H_
#define KERN_TASK_H_
 
#include <typedefs.h>
#include <synch/spinlock.h>
107,6 → 107,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/proc/thread.h
32,8 → 32,8
/** @file
*/
 
#ifndef __THREAD_H__
#define __THREAD_H__
#ifndef KERN_THREAD_H_
#define KERN_THREAD_H_
 
#include <arch/proc/thread.h>
#include <synch/spinlock.h>
/trunk/kernel/generic/include/debug.h
32,8 → 32,8
/** @file
*/
 
#ifndef __DEBUG_H__
#define __DEBUG_H__
#ifndef KERN_DEBUG_H_
#define KERN_DEBUG_H_
 
#include <panic.h>
#include <arch/debug.h>
/trunk/kernel/generic/include/panic.h
32,8 → 32,8
/** @file
*/
 
#ifndef __PANIC_H__
#define __PANIC_H__
#ifndef KERN_PANIC_H_
#define KERN_PANIC_H_
 
#ifdef CONFIG_DEBUG
# define panic(format, ...) panic_printf("Kernel panic in %s() at %s on line %d: " format, __FUNCTION__, __FILE__, __LINE__, ##__VA_ARGS__);
/trunk/kernel/generic/include/userspace.h
32,8 → 32,8
/** @file
*/
 
#ifndef __USERSPACE_H__
#define __USERSPACE_H__
#ifndef KERN_USERSPACE_H_
#define KERN_USERSPACE_H_
 
#include <proc/thread.h>
#include <arch/types.h>
/trunk/kernel/generic/include/interrupt.h
32,8 → 32,8
/** @file
*/
 
#ifndef __INTERRUPT_H__
#define __INTERRUPT_H__
#ifndef KERN_INTERRUPT_H_
#define KERN_INTERRUPT_H_
 
#include <arch/interrupt.h>
#include <typedefs.h>
/trunk/kernel/generic/include/main/kinit.h
26,19 → 26,18
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup main
/** @addtogroup main
* @{
*/
/** @file
*/
 
#ifndef __KINIT_H__
#define __KINIT_H__
#ifndef KERN_KINIT_H_
#define KERN_KINIT_H_
 
extern void kinit(void *arg);
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/main/main.h
32,8 → 32,8
/** @file
*/
#ifndef __MAIN_H__
#define __MAIN_H__
#ifndef KERN_MAIN_H_
#define KERN_MAIN_H_
 
#include <typedefs.h>
 
/trunk/kernel/generic/include/main/version.h
26,19 → 26,19
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup main
/** @addtogroup main
* @{
*/
/** @file
*/
 
#ifndef __VERSION_H__
#define __VERSION_H__
#ifndef KERN_VERSION_H_
#define KERN_VERSION_H_
 
extern void version_print(void);
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/main/uinit.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup main
/** @addtogroup main
* @{
*/
/** @file
*/
 
#ifndef __UINIT_H__
#define __UINIT_H__
#ifndef KERN_UINIT_H_
#define KERN_UINIT_H_
 
#include <arch/types.h>
 
41,6 → 41,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/synch/futex.h
32,8 → 32,8
/** @file
*/
 
#ifndef __FUTEX_H__
#define __FUTEX_H__
#ifndef KERN_FUTEX_H_
#define KERN_FUTEX_H_
 
#include <arch/types.h>
#include <typedefs.h>
59,4 → 59,3
 
/** @}
*/
 
/trunk/kernel/generic/include/synch/condvar.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup sync
/** @addtogroup sync
* @{
*/
/** @file
*/
 
#ifndef __CONDVAR_H__
#define __CONDVAR_H__
#ifndef KERN_CONDVAR_H_
#define KERN_CONDVAR_H_
 
#include <arch/types.h>
#include <synch/waitq.h>
56,6 → 56,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/synch/rwlock.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup sync
/** @addtogroup sync
* @{
*/
/** @file
*/
 
#ifndef __RWLOCK_H__
#define __RWLOCK_H__
#ifndef KERN_RWLOCK_H_
#define KERN_RWLOCK_H_
 
#include <arch/types.h>
#include <typedefs.h>
74,7 → 74,5
 
#endif
 
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/synch/mutex.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup sync
/** @addtogroup sync
* @{
*/
/** @file
*/
 
#ifndef __MUTEX_H__
#define __MUTEX_H__
#ifndef KERN_MUTEX_H_
#define KERN_MUTEX_H_
 
#include <arch/types.h>
#include <typedefs.h>
59,6 → 59,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/synch/spinlock.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup sync
/** @addtogroup sync
* @{
*/
/** @file
*/
 
#ifndef __SPINLOCK_H__
#define __SPINLOCK_H__
#ifndef KERN_SPINLOCK_H_
#define KERN_SPINLOCK_H_
 
#include <arch/types.h>
#include <typedefs.h>
116,6 → 116,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/synch/semaphore.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup sync
/** @addtogroup sync
* @{
*/
/** @file
*/
 
#ifndef __SEMAPHORE_H__
#define __SEMAPHORE_H__
#ifndef KERN_SEMAPHORE_H_
#define KERN_SEMAPHORE_H_
 
#include <arch/types.h>
#include <typedefs.h>
58,7 → 58,5
 
#endif
 
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/synch/synch.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup sync
/** @addtogroup sync
* @{
*/
/** @file
*/
 
#ifndef __SYNCH_H__
#define __SYNCH_H__
#ifndef KERN_SYNCH_H_
#define KERN_SYNCH_H_
 
#define SYNCH_NO_TIMEOUT 0 /**< Request with no timeout. */
 
52,6 → 52,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/synch/waitq.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup sync
/** @addtogroup sync
* @{
*/
/** @file
*/
 
#ifndef __WAITQ_H__
#define __WAITQ_H__
#ifndef KERN_WAITQ_H_
#define KERN_WAITQ_H_
 
#include <arch/types.h>
#include <typedefs.h>
71,6 → 71,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/bitops.h
32,8 → 32,8
/** @file
*/
 
#ifndef _BITOPS_H_
#define _BITOPS_H_
#ifndef KERN_BITOPS_H_
#define KERN_BITOPS_H_
 
#include <typedefs.h>
 
/trunk/kernel/generic/include/putchar.h
32,8 → 32,8
/** @file
*/
 
#ifndef __PUTCHAR_H__
#define __PUTCHAR_H__
#ifndef KERN_PUTCHAR_H_
#define KERN_PUTCHAR_H_
 
extern void putchar(const char ch);
 
/trunk/kernel/generic/include/memstr.h
32,8 → 32,8
/** @file
*/
 
#ifndef __MEMSTR_H__
#define __MEMSTR_H__
#ifndef KERN_MEMSTR_H_
#define KERN_MEMSTR_H_
 
#include <typedefs.h>
#include <arch/types.h>
/trunk/kernel/generic/include/smp/smp.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup generic
/** @addtogroup generic
* @{
*/
/** @file
*/
 
#ifndef __SMP_H__
#define __SMP_H__
#ifndef KERN_SMP_H_
#define KERN_SMP_H_
 
#ifdef CONFIG_SMP
extern void smp_init(void);
43,6 → 43,5
 
#endif /* __SMP_H__ */
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/smp/ipi.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup generic
/** @addtogroup generic
* @{
*/
/** @file
*/
 
#ifndef __IPI_H__
#define __IPI_H__
#ifndef KERN_IPI_H_
#define KERN_IPI_H_
 
#ifdef CONFIG_SMP
extern void ipi_broadcast(int ipi);
44,6 → 44,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/ddi/ddi_arg.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericddi
/** @addtogroup genericddi
* @{
*/
/** @file
*/
 
#ifndef __DDI_ARG_H__
#define __DDI_ARG_H__
#ifndef KERN_DDI_ARG_H_
#define KERN_DDI_ARG_H_
 
/** Structure encapsulating arguments for SYS_MAP_PHYSMEM syscall. */
typedef struct {
53,6 → 53,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/ddi/ddi.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericddi
/** @addtogroup genericddi
* @{
*/
/** @file
*/
 
#ifndef __DDI_H__
#define __DDI_H__
#ifndef KERN_DDI_H_
#define KERN_DDI_H_
 
#include <ddi/ddi_arg.h>
#include <arch/types.h>
51,6 → 51,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/printf/printf_core.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup generic
/** @addtogroup generic
* @{
*/
/** @file
*/
 
#ifndef __PRINTF_CORE_H__
#define __PRINTF_CORE_H__
#ifndef KERN_PRINTF_CORE_H_
#define KERN_PRINTF_CORE_H_
 
#include <typedefs.h>
#include <arch/arg.h>
51,6 → 51,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/atomic.h
32,8 → 32,8
/** @file
*/
 
#ifndef __ATOMIC_H__
#define __ATOMIC_H__
#ifndef KERN_ATOMIC_H_
#define KERN_ATOMIC_H_
 
typedef struct atomic {
volatile long count;
/trunk/kernel/generic/include/console/chardev.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericconsole
/** @addtogroup genericconsole
* @{
*/
/** @file
*/
 
#ifndef __CHARDEV_H__
#define __CHARDEV_H__
#ifndef KERN_CHARDEV_H_
#define KERN_CHARDEV_H_
 
#include <typedefs.h>
#include <arch/types.h>
71,8 → 71,7
chardev_operations_t *op);
extern void chardev_push_character(chardev_t *chardev, uint8_t ch);
 
#endif /* __CHARDEV_H__ */
#endif /* KERN_CHARDEV_H_ */
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/console/klog.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericklog
/** @addtogroup genericklog
* @{
*/
/** @file
*/
 
#ifndef _KLOG_H_
#define _KLOG_H_
#ifndef KERN_KLOG_H_
#define KERN_KLOG_H_
 
void klog_init(void);
void klog_printf(const char *fmt, ...);
40,6 → 40,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/console/kconsole.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericconsole
/** @addtogroup genericconsole
* @{
*/
/** @file
*/
 
#ifndef __KCONSOLE_H__
#define __KCONSOLE_H__
#ifndef KERN_KCONSOLE_H_
#define KERN_KCONSOLE_H_
 
#include <typedefs.h>
#include <adt/list.h>
80,6 → 80,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/console/console.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericconsole
/** @addtogroup genericconsole
* @{
*/
/** @file
*/
 
#ifndef __CONSOLE_H__
#define __CONSOLE_H__
#ifndef KERN_CONSOLE_H_
#define KERN_CONSOLE_H_
 
#include <arch/types.h>
#include <typedefs.h>
49,8 → 49,7
extern void arch_grab_console(void);
extern void arch_release_console(void);
 
#endif /* __CHARDEV_H__ */
#endif /* KERN_CONSOLE_H_ */
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/console/cmd.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericconsole
/** @addtogroup genericconsole
* @{
*/
/** @file
*/
 
#ifndef __CMD_H__
#define __CMD_H__
#ifndef KERN_CMD_H_
#define KERN_CMD_H_
 
#include <typedefs.h>
 
42,6 → 42,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/test.h
32,8 → 32,8
/** @file
*/
 
#ifndef __TEST_H__
#define __TEST_H__
#ifndef KERN_TEST_H_
#define KERN_TEST_H_
 
extern void test(void);
 
/trunk/kernel/generic/include/security/cap.h
26,7 → 26,7
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup generic
/** @addtogroup generic
* @{
*/
/** @file
89,6 → 89,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/preemption.h
32,8 → 32,8
/** @file
*/
 
#ifndef __PREEMPTION_H__
#define __PREEMPTION_H__
#ifndef KERN_PREEMPTION_H_
#define KERN_PREEMPTION_H_
 
extern void preemption_disable(void);
extern void preemption_enable(void);
/trunk/kernel/generic/include/adt/list.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericadt
/** @addtogroup genericadt
* @{
*/
/** @file
*/
 
#ifndef __LIST_H__
#define __LIST_H__
#ifndef KERN_LIST_H_
#define KERN_LIST_H_
 
#include <arch/types.h>
#include <typedefs.h>
182,6 → 182,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/adt/bitmap.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericadt
/** @addtogroup genericadt
* @{
*/
/** @file
*/
 
#ifndef __BITMAP_H__
#define __BITMAP_H__
#ifndef KERN_BITMAP_H_
#define KERN_BITMAP_H_
 
#include <arch/types.h>
#include <typedefs.h>
52,6 → 52,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/adt/btree.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericadt
/** @addtogroup genericadt
* @{
*/
/** @file
*/
 
#ifndef __BTREE_H__
#define __BTREE_H__
#ifndef KERN_BTREE_H_
#define KERN_BTREE_H_
 
#include <arch/types.h>
#include <typedefs.h>
99,6 → 99,5
extern void btree_print(btree_t *t);
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/adt/fifo.h
26,7 → 26,7
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericadt
/** @addtogroup genericadt
* @{
*/
/** @file
42,8 → 42,8
* and use'.
*/
 
#ifndef __FIFO_H__
#define __FIFO_H__
#ifndef KERN_FIFO_H_
#define KERN_FIFO_H_
 
#include <typedefs.h>
#include <mm/slab.h>
118,6 → 118,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/mm/page.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericmm
/** @addtogroup genericmm
* @{
*/
/** @file
*/
 
#ifndef __PAGE_H__
#define __PAGE_H__
#ifndef KERN_PAGE_H_
#define KERN_PAGE_H_
 
#include <arch/mm/asid.h>
#include <arch/types.h>
97,6 → 97,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/mm/asid.h
26,7 → 26,7
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericmm
/** @addtogroup genericmm
* @{
*/
/** @file
37,8 → 37,8
* Address Space IDentifiers (ASIDs).
*/
 
#ifndef __ASID_H__
#define __ASID_H__
#ifndef KERN_ASID_H_
#define KERN_ASID_H_
 
#ifndef __ASM__
 
83,7 → 83,5
 
#endif
 
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/mm/slab.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericmm
/** @addtogroup genericmm
* @{
*/
/** @file
*/
 
#ifndef __SLAB_H__
#define __SLAB_H__
#ifndef KERN_SLAB_H_
#define KERN_SLAB_H_
 
#include <adt/list.h>
#include <synch/spinlock.h>
135,6 → 135,5
extern void free(void *obj);
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/mm/tlb.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericmm
/** @addtogroup genericmm
* @{
*/
/** @file
*/
 
#ifndef __TLB_H__
#define __TLB_H__
#ifndef KERN_TLB_H_
#define KERN_TLB_H_
 
#include <arch/mm/asid.h>
#include <arch/types.h>
75,7 → 75,6
# define tlb_shootdown_ipi_recv()
#endif /* CONFIG_SMP */
 
 
/* Export TLB interface that each architecture must implement. */
extern void tlb_arch_init(void);
extern void tlb_print(void);
86,6 → 85,5
extern void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt);
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/mm/as.h
32,8 → 32,8
/** @file
*/
 
#ifndef __AS_H__
#define __AS_H__
#ifndef KERN_AS_H_
#define KERN_AS_H_
 
/** Address space area flags. */
#define AS_AREA_READ 1
/trunk/kernel/generic/include/mm/buddy.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericmm
/** @addtogroup genericmm
* @{
*/
/** @file
*/
 
#ifndef __BUDDY_H__
#define __BUDDY_H__
#ifndef KERN_BUDDY_H_
#define KERN_BUDDY_H_
 
#include <arch/types.h>
#include <typedefs.h>
55,10 → 55,10
};
 
struct buddy_system {
uint8_t max_order; /**< Maximal order of block which can be stored by buddy system. */
uint8_t max_order; /**< Maximal order of block which can be stored by buddy system. */
link_t *order;
buddy_system_operations_t *op;
void *data; /**< Pointer to be used by the implementation. */
void *data; /**< Pointer to be used by the implementation. */
};
 
extern void buddy_system_create(buddy_system_t *b,
73,6 → 73,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/context.h
32,8 → 32,8
/** @file
*/
 
#ifndef __CONTEXT_H__
#define __CONTEXT_H__
#ifndef KERN_CONTEXT_H_
#define KERN_CONTEXT_H_
 
#include <arch/types.h>
#include <typedefs.h>
/trunk/kernel/generic/include/stdarg.h
32,14 → 32,13
/** @file
*/
 
 
/*
* Variable argument list manipulation macros
* for all architectures with compiler support for __builtin_va_*.
*/
#ifndef __STDARG_H__
#define __STDARG_H__
#ifndef KERN_STDARG_H_
#define KERN_STDARG_H_
 
typedef __builtin_va_list va_list;
 
/trunk/kernel/generic/include/syscall/copy.h
32,8 → 32,8
/** @file
*/
 
#ifndef __COPY_H__
#define __COPY_H__
#ifndef KERN_COPY_H_
#define KERN_COPY_H_
 
#include <typedefs.h>
 
/trunk/kernel/generic/include/syscall/sysarg64.h
35,8 → 35,8
* @brief Wrapper for explicit 64-bit arguments passed to syscalls.
*/
 
#ifndef __SYSARG64_H__
#define __SYSARG64_H__
#ifndef KERN_SYSARG64_H_
#define KERN_SYSARG64_H_
 
typedef struct {
unsigned long long value;
/trunk/kernel/generic/include/ipc/sysipc.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericipc
/** @addtogroup genericipc
* @{
*/
/** @file
*/
 
#ifndef __SYSIPC_H__
#define __SYSIPC_H__
#ifndef KERN_SYSIPC_H_
#define KERN_SYSIPC_H_
 
#include <ipc/ipc.h>
#include <ipc/irq.h>
58,6 → 58,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/ipc/ipc.h
26,7 → 26,7
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericipc
/** @addtogroup genericipc
* @{
*/
/** @file
166,7 → 166,7
typedef struct {
unative_t args[IPC_CALL_LEN];
phone_t *phone;
}ipc_data_t;
} ipc_data_t;
 
struct answerbox_s {
SPINLOCK_DECLARE(lock);
217,7 → 217,7
unative_t private; /**< Private data to internal IPC */
 
ipc_data_t data; /**< Data passed from/to userspace */
}call_t;
} call_t;
 
extern void ipc_init(void);
extern call_t * ipc_wait_for_call(answerbox_t *box, uint32_t usec, int flags);
/trunk/kernel/generic/include/ipc/irq.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericipc
/** @addtogroup genericipc
* @{
*/
/** @file
*/
 
#ifndef __IRQ_H__
#define __IRQ_H__
#ifndef KERN_IRQ_H_
#define KERN_IRQ_H_
 
/** Maximum length of IPC IRQ program */
#define IRQ_MAX_PROG_SIZE 10
88,6 → 88,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/ipc/ipcrsc.h
26,14 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
 
/** @addtogroup genericipc
/** @addtogroup genericipc
* @{
*/
/** @file
*/
 
#ifndef __IPCRSC_H__
#define __IPCRSC_H__
#ifndef KERN_IPCRSC_H_
#define KERN_IPCRSC_H_
 
call_t * get_call(unative_t callid);
int phone_alloc(void);
42,6 → 42,5
 
#endif
 
/** @}
/** @}
*/
 
/trunk/kernel/generic/include/errno.h
32,8 → 32,8
/** @file
*/
 
#ifndef __ERRNO_H__
#define __ERRNO_H__
#ifndef KERN_ERRNO_H_
#define KERN_ERRNO_H_
 
/* 1-255 are kernel error codes, 256-512 are user error codes */
 
/trunk/kernel/generic/include/sort.h
32,8 → 32,8
/** @file
*/
 
#ifndef __SORT_H__
#define __SORT_H__
#ifndef KERN_SORT_H_
#define KERN_SORT_H_
 
#include <arch/types.h>