HelenOSHelenOS-docHelenOS-historic

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /trunk @ 1887

  → /trunk @ 1888

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Regard whitespace Rev 1887 → Rev 1888

/trunk/kernel/genarch/include/softint/division.h
32,10 → 32,9
/** @file
*/
#ifndef __SOFTINT_DIVISION_H__
#define __SOFTINT_DIVISION_H__
#ifndef KERN_DIVISION_H_
#define KERN_DIVISION_H_
/* 32bit integer division */
int __divsi3(int a, int b);
64,7 → 63,5
#endif
/** @}
*/

/trunk/kernel/genarch/include/fb/font-8x16.h
32,8 → 32,8
/** @file
*/
#ifndef __FONT_8X16_H__
#define __FONT_8X16_H__
#ifndef KERN_FONT_8X16_H_
#define KERN_FONT_8X16_H_
#define FONT_GLIPHS 256
#define FONT_SCANLINES 16
44,4 → 44,3
/** @}
*/

/trunk/kernel/genarch/include/fb/fb.h
32,8 → 32,8
/** @file
*/
#ifndef _FB_H_
#define _FB_H_
#ifndef KERN_FB_H_
#define KERN_FB_H_
#include <typedefs.h>
#include <arch/types.h>
45,4 → 45,3
/** @}
*/

/trunk/kernel/genarch/include/mm/as_ht.h
32,8 → 32,8
/** @file
*/
#ifndef __AS_HT_H__
#define __AS_HT_H__
#ifndef KERN_AS_HT_H_
#define KERN_AS_HT_H_
#include <mm/as.h>

/trunk/kernel/genarch/include/mm/page_pt.h
40,8 → 40,8
#ifdef CONFIG_PAGE_PT
#ifndef __PAGE_PT_H__
#define __PAGE_PT_H__
#ifndef KERN_PAGE_PT_H_
#define KERN_PAGE_PT_H_
#include <arch/types.h>
#include <typedefs.h>

/trunk/kernel/genarch/include/mm/asid_fifo.h
32,8 → 32,8
/** @file
*/
#ifndef __ASID_FIFO_H__
#define __ASID_FIFO_H__
#ifndef KERN_ASID_FIFO_H_
#define KERN_ASID_FIFO_H_
extern void asid_fifo_init(void);
41,4 → 41,3
/** @}
*/

/trunk/kernel/genarch/include/mm/as_pt.h
32,8 → 32,8
/** @file
*/
#ifndef __AS_PT_H__
#define __AS_PT_H__
#ifndef KERN_AS_PT_H_
#define KERN_AS_PT_H_
#include <mm/as.h>

/trunk/kernel/genarch/include/mm/page_ht.h
36,8 → 36,8
#ifdef CONFIG_PAGE_HT
#ifndef __PAGE_HT_H__
#define __PAGE_HT_H__
#ifndef KERN_PAGE_HT_H_
#define KERN_PAGE_HT_H_
#include <mm/page.h>
#include <typedefs.h>

/trunk/kernel/genarch/include/acpi/acpi.h
32,8 → 32,8
/** @file
*/
#ifndef __ACPI_H__
#define __ACPI_H__
#ifndef KERN_ACPI_H_
#define KERN_ACPI_H_
#include <arch/types.h>
88,8 → 88,7
extern void acpi_init(void);
extern int acpi_sdt_check(uint8_t *sdt);
#endif /* __ACPI_H__ */
#endif /* KERN_ACPI_H_ */
/** @}
*/

/trunk/kernel/genarch/include/acpi/madt.h
32,8 → 32,8
/** @file
*/
#ifndef __MADT_H__
#define __MADT_H__
#ifndef KERN_MADT_H_
#define KERN_MADT_H_
#include <genarch/acpi/acpi.h>
#include <arch/smp/apic.h>
143,8 → 143,7
extern void acpi_madt_parse(void);
#endif /* __MADT_H__ */
#endif /* KERN_MADT_H_ */
/** @}
*/

/trunk/kernel/genarch/src/kbd/ns16550.c
104,7 → 104,8
}
/** Wait until the controller reads its data. */
void ns16550_wait(void) {
void ns16550_wait(void)
{
}
/* Called from getc(). */

/trunk/kernel/genarch/src/softint/division.c
191,8 → 191,5
return divandmod64(a, b, c);
}
/** @}
*/

/trunk/kernel/genarch/src/fb/font-8x16.c
4648,4 → 4648,3
/** @}
*/

/trunk/kernel/genarch/src/mm/as_pt.c
141,4 → 141,3
/** @}
*/

/trunk/kernel/genarch/src/acpi/madt.c
245,4 → 245,3
/** @}
*/

/trunk/kernel/genarch/src/acpi/acpi.c
26,7 → 26,6
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
/** @addtogroup genarch
* @{
*/
183,7 → 182,5
}
/** @}
*/

/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>
109,4 → 109,3
/** @}
*/

/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
32,8 → 32,8
/** @file
*/
#ifndef __KINIT_H__
#define __KINIT_H__
#ifndef KERN_KINIT_H_
#define KERN_KINIT_H_
extern void kinit(void *arg);
41,4 → 41,3
/** @}
*/

/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
32,8 → 32,8
/** @file
*/
#ifndef __VERSION_H__
#define __VERSION_H__
#ifndef KERN_VERSION_H_
#define KERN_VERSION_H_
extern void version_print(void);

/trunk/kernel/generic/include/main/uinit.h
32,8 → 32,8
/** @file
*/
#ifndef __UINIT_H__
#define __UINIT_H__
#ifndef KERN_UINIT_H_
#define KERN_UINIT_H_
#include <arch/types.h>
43,4 → 43,3
/** @}
*/

/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
32,8 → 32,8
/** @file
*/
#ifndef __CONDVAR_H__
#define __CONDVAR_H__
#ifndef KERN_CONDVAR_H_
#define KERN_CONDVAR_H_
#include <arch/types.h>
#include <synch/waitq.h>
58,4 → 58,3
/** @}
*/

/trunk/kernel/generic/include/synch/rwlock.h
32,8 → 32,8
/** @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
32,8 → 32,8
/** @file
*/
#ifndef __MUTEX_H__
#define __MUTEX_H__
#ifndef KERN_MUTEX_H_
#define KERN_MUTEX_H_
#include <arch/types.h>
#include <typedefs.h>
61,4 → 61,3
/** @}
*/

/trunk/kernel/generic/include/synch/spinlock.h
32,8 → 32,8
/** @file
*/
#ifndef __SPINLOCK_H__
#define __SPINLOCK_H__
#ifndef KERN_SPINLOCK_H_
#define KERN_SPINLOCK_H_
#include <arch/types.h>
#include <typedefs.h>
118,4 → 118,3
/** @}
*/

/trunk/kernel/generic/include/synch/semaphore.h
32,8 → 32,8
/** @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
32,8 → 32,8
/** @file
*/
#ifndef __SYNCH_H__
#define __SYNCH_H__
#ifndef KERN_SYNCH_H_
#define KERN_SYNCH_H_
#define SYNCH_NO_TIMEOUT 0 /**< Request with no timeout. */
54,4 → 54,3
/** @}
*/

/trunk/kernel/generic/include/synch/waitq.h
32,8 → 32,8
/** @file
*/
#ifndef __WAITQ_H__
#define __WAITQ_H__
#ifndef KERN_WAITQ_H_
#define KERN_WAITQ_H_
#include <arch/types.h>
#include <typedefs.h>
73,4 → 73,3
/** @}
*/

/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
32,8 → 32,8
/** @file
*/
#ifndef __SMP_H__
#define __SMP_H__
#ifndef KERN_SMP_H_
#define KERN_SMP_H_
#ifdef CONFIG_SMP
extern void smp_init(void);
45,4 → 45,3
/** @}
*/

/trunk/kernel/generic/include/smp/ipi.h
32,8 → 32,8
/** @file
*/
#ifndef __IPI_H__
#define __IPI_H__
#ifndef KERN_IPI_H_
#define KERN_IPI_H_
#ifdef CONFIG_SMP
extern void ipi_broadcast(int ipi);
46,4 → 46,3
/** @}
*/

/trunk/kernel/generic/include/ddi/ddi_arg.h
32,8 → 32,8
/** @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 {
55,4 → 55,3
/** @}
*/

/trunk/kernel/generic/include/ddi/ddi.h
32,8 → 32,8
/** @file
*/
#ifndef __DDI_H__
#define __DDI_H__
#ifndef KERN_DDI_H_
#define KERN_DDI_H_
#include <ddi/ddi_arg.h>
#include <arch/types.h>
53,4 → 53,3
/** @}
*/

/trunk/kernel/generic/include/printf/printf_core.h
32,8 → 32,8
/** @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>
53,4 → 53,3
/** @}
*/

/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
32,8 → 32,8
/** @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
32,8 → 32,8
/** @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, ...);
42,4 → 42,3
/** @}
*/

/trunk/kernel/generic/include/console/kconsole.h
32,8 → 32,8
/** @file
*/
#ifndef __KCONSOLE_H__
#define __KCONSOLE_H__
#ifndef KERN_KCONSOLE_H_
#define KERN_KCONSOLE_H_
#include <typedefs.h>
#include <adt/list.h>
82,4 → 82,3
/** @}
*/

/trunk/kernel/generic/include/console/console.h
32,8 → 32,8
/** @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
32,8 → 32,8
/** @file
*/
#ifndef __CMD_H__
#define __CMD_H__
#ifndef KERN_CMD_H_
#define KERN_CMD_H_
#include <typedefs.h>
44,4 → 44,3
/** @}
*/

/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
91,4 → 91,3
/** @}
*/

/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
32,8 → 32,8
/** @file
*/
#ifndef __LIST_H__
#define __LIST_H__
#ifndef KERN_LIST_H_
#define KERN_LIST_H_
#include <arch/types.h>
#include <typedefs.h>
184,4 → 184,3
/** @}
*/

/trunk/kernel/generic/include/adt/bitmap.h
32,8 → 32,8
/** @file
*/
#ifndef __BITMAP_H__
#define __BITMAP_H__
#ifndef KERN_BITMAP_H_
#define KERN_BITMAP_H_
#include <arch/types.h>
#include <typedefs.h>
54,4 → 54,3
/** @}
*/

/trunk/kernel/generic/include/adt/btree.h
32,8 → 32,8
/** @file
*/
#ifndef __BTREE_H__
#define __BTREE_H__
#ifndef KERN_BTREE_H_
#define KERN_BTREE_H_
#include <arch/types.h>
#include <typedefs.h>
101,4 → 101,3
/** @}
*/

/trunk/kernel/generic/include/adt/fifo.h
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>
120,4 → 120,3
/** @}
*/

/trunk/kernel/generic/include/mm/page.h
32,8 → 32,8
/** @file
*/
#ifndef __PAGE_H__
#define __PAGE_H__
#ifndef KERN_PAGE_H_
#define KERN_PAGE_H_
#include <arch/mm/asid.h>
#include <arch/types.h>
99,4 → 99,3
/** @}
*/

/trunk/kernel/generic/include/mm/asid.h
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
32,8 → 32,8
/** @file
*/
#ifndef __SLAB_H__
#define __SLAB_H__
#ifndef KERN_SLAB_H_
#define KERN_SLAB_H_
#include <adt/list.h>
#include <synch/spinlock.h>
137,4 → 137,3
/** @}
*/

/trunk/kernel/generic/include/mm/tlb.h
32,8 → 32,8
/** @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);
88,4 → 87,3
/** @}
*/

/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
32,8 → 32,8
/** @file
*/
#ifndef __BUDDY_H__
#define __BUDDY_H__
#ifndef KERN_BUDDY_H_
#define KERN_BUDDY_H_
#include <arch/types.h>
#include <typedefs.h>
75,4 → 75,3
/** @}
*/

/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
32,8 → 32,8
/** @file
*/
#ifndef __SYSIPC_H__
#define __SYSIPC_H__
#ifndef KERN_SYSIPC_H_
#define KERN_SYSIPC_H_
#include <ipc/ipc.h>
#include <ipc/irq.h>
60,4 → 60,3
/** @}
*/

/trunk/kernel/generic/include/ipc/irq.h
32,8 → 32,8
/** @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
90,4 → 90,3
/** @}
*/

/trunk/kernel/generic/include/ipc/ipcrsc.h
32,8 → 32,8
/** @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);
44,4 → 44,3
/** @}
*/

/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>

/trunk/kernel/generic/src/debug/symtab.c
199,4 → 199,3
/** @}
*/

/trunk/kernel/generic/src/ddi/ddi.c
207,4 → 207,3
/** @}
*/

/trunk/kernel/generic/src/printf/printf.c
48,7 → 48,5
return ret;
}
/** @}
*/

/trunk/kernel/generic/src/printf/sprintf.c
49,4 → 49,3
/** @}
*/

/trunk/kernel/generic/src/printf/vprintf.c
53,8 → 53,5
}
/** @}
*/

/trunk/kernel/generic/src/printf/vsnprintf.c
102,4 → 102,3
/** @}
*/

/trunk/kernel/generic/src/printf/printf_core.c
632,7 → 632,7
*/
default:
/* Unknown format
* now, the j is index of '%' so we will
* now, j is index of '%' so we will
* print whole bad format sequence
*/
goto next_char;
718,7 → 718,5
return counter;
}
/** @}
*/

/trunk/kernel/generic/src/printf/vsprintf.c
39,7 → 39,5
return vsnprintf(str, (size_t)-1, fmt, ap);
}
/** @}
*/

/trunk/kernel/generic/src/console/console.c
167,4 → 167,3
/** @}
*/

/trunk/kernel/generic/src/console/cmd.c
808,4 → 808,3
/** @}
*/

/trunk/kernel/generic/src/console/chardev.c
76,4 → 76,3
/** @}
*/

/trunk/kernel/generic/src/console/klog.c
107,4 → 107,3
/** @}
*/

/trunk/kernel/generic/src/console/kconsole.c
628,4 → 628,3
/** @}
*/

/trunk/kernel/generic/src/syscall/copy.c
105,7 → 105,7
int rc;
ASSERT(THREAD);
ASSERT(!THREAD->in_copy_from_uspace);
ASSERT(!THREAD->in_copy_to_uspace);
if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
if (overlaps((uintptr_t) uspace_dst, size,
118,11 → 118,11
}
ipl = interrupts_disable();
THREAD->in_copy_from_uspace = true;
THREAD->in_copy_to_uspace = true;
rc = memcpy_to_uspace(uspace_dst, src, size);
THREAD->in_copy_from_uspace = false;
THREAD->in_copy_to_uspace = false;
interrupts_restore(ipl);
return !rc ? EPERM : 0;

/trunk/kernel/generic/src/ipc/ipcrsc.c
96,7 → 96,7
* - The phone is disconnected. EHANGUP response code is sent
* to the calling task. All new calls through this phone
* get a EHUNGUP error code, the task is expected to
* send an sys_ipc_hangup after cleaning up it's internal structures.
* send an sys_ipc_hangup after cleaning up its internal structures.
*
* Call forwarding
*

/trunk/kernel/arch/xen32/include/types.h
32,8 → 32,8
/** @file
*/
#ifndef __TYPES_H__
#define __TYPES_H__
#ifndef KERN_xen32_TYPES_H_
#define KERN_xen32_TYPES_H_
#define NULL 0

/trunk/kernel/arch/xen32/include/pm.h
32,8 → 32,8
/** @file
*/
#ifndef __PM_H__
#define __PM_H__
#ifndef KERN_xen32_PM_H_
#define KERN_xen32_PM_H_
#define IDT_ITEMS 64
#define GDT_ITEMS 7

/trunk/kernel/arch/xen32/include/boot/boot.h
32,8 → 32,8
/** @file
*/
#ifndef __xen32_BOOT_H__
#define __xen32_BOOT_H__
#ifndef KERN_xen32_BOOT_H_
#define KERN_xen32_BOOT_H_
#define GUEST_CMDLINE 1024
#define VIRT_CPUS 32

/trunk/kernel/arch/xen32/include/asm.h
34,8 → 34,8
/** @file
*/
#ifndef __xen32_ASM_H__
#define __xen32_ASM_H__
#ifndef KERN_xen32_ASM_H_
#define KERN_xen32_ASM_H_
#include <arch/pm.h>
#include <arch/types.h>

/trunk/kernel/arch/xen32/include/hypercall.h
26,16 → 26,14
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#ifndef __xen32_HYPERCALL_H__
#define __xen32_HYPERCALL_H__
#ifndef KERN_xen32_HYPERCALL_H_
#define KERN_xen32_HYPERCALL_H_
#include <arch/types.h>
#include <macros.h>
typedef uint16_t domid_t;
typedef struct {
uint8_t vector; /**< Exception vector */
uint8_t flags; /**< 0-3: privilege level; 4: clear event enable */

/trunk/kernel/arch/xen32/include/mm/frame.h
32,8 → 32,8
/** @file
*/
#ifndef __xen32_FRAME_H__
#define __xen32_FRAME_H__
#ifndef KERN_xen32_FRAME_H_
#define KERN_xen32_FRAME_H_
#define FRAME_WIDTH 12 /* 4K */
#define FRAME_SIZE (1 << FRAME_WIDTH)

/trunk/kernel/arch/xen32/include/mm/memory_init.h
33,8 → 33,8
* @ingroup xen32mm
*/
#ifndef __xen32_MEMORY_INIT_H__
#define __xen32_MEMORY_INIT_H__
#ifndef KERN_xen32_MEMORY_INIT_H_
#define KERN_xen32_MEMORY_INIT_H_
#include <typedefs.h>

/trunk/kernel/arch/xen32/include/mm/page.h
32,8 → 32,8
/** @file
*/
#ifndef __xen32_PAGE_H__
#define __xen32_PAGE_H__
#ifndef KERN_xen32_PAGE_H_
#define KERN_xen32_PAGE_H_
#include <arch/mm/frame.h>

/trunk/kernel/arch/xen32/include/mm/asid.h
39,8 → 39,8
* interface.
*/
#ifndef __xen32_ASID_H__
#define __xen32_ASID_H__
#ifndef KERN_xen32_ASID_H_
#define KERN_xen32_ASID_H_
typedef int asid_t;

/trunk/kernel/arch/xen32/include/mm/tlb.h
32,8 → 32,8
/** @file
*/
#ifndef __xen32_TLB_H__
#define __xen32_TLB_H__
#ifndef KERN_xen32_TLB_H_
#define KERN_xen32_TLB_H_
#define tlb_arch_init()
#define tlb_print()

/trunk/kernel/arch/xen32/include/mm/as.h
32,8 → 32,8
/** @file
*/
#ifndef __xen32_AS_H__
#define __xen32_AS_H__
#ifndef KERN_xen32_AS_H_
#define KERN_xen32_AS_H_
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0

/trunk/kernel/arch/xen32/include/drivers/xconsole.h
32,8 → 32,8
/** @file
*/
#ifndef __XCONSOLE_H__
#define __XCONSOLE_H__
#ifndef KERN_xen32_XCONSOLE_H_
#define KERN_xen32_XCONSOLE_H_
#include <arch/types.h>

/trunk/kernel/arch/xen32/src/mm/memory_init.c
48,6 → 48,5
printf("Xen memory: %p size: %d (reserved %d)\n", PFN2ADDR(meminfo.start), PFN2ADDR(meminfo.size - meminfo.reserved), PFN2ADDR(meminfo.reserved));
}
/** @}
*/

/trunk/kernel/arch/xen32/src/interrupt.c
206,4 → 206,3
/** @}
*/

/trunk/kernel/arch/sparc64/include/context_offset.h
19,4 → 19,3
#define OFFSET_L6 0x80
#define OFFSET_L7 0x88
#define OFFSET_CLEANWIN 0x98

/trunk/kernel/arch/sparc64/include/atomic.h
50,20 → 50,15
static inline long atomic_add(atomic_t *val, int i)
{
uint64_t a, b;
volatile uint64_t x = (uint64_t) &val->count;
__asm__ volatile (
"0:\n"
"ldx %0, %1\n"
"add %1, %3, %2\n"
"casx %0, %1, %2\n"
"cmp %1, %2\n"
"bne 0b\n" /* The operation failed and must be attempted again if a != b. */
"nop\n"
: "=m" (*((uint64_t *)x)), "=r" (a), "=r" (b)
: "r" (i)
);
do {
volatile uintptr_t x = (uint64_t) &val->count;
a = *((uint64_t *) x);
b = a + i;
__asm__ volatile ("casx %0, %1, %2\n": "+m" (*((uint64_t *)x)), "+r" (a), "+r" (b));
} while (a != b);
return a;
}

/trunk/kernel/arch/sparc64/include/trap/trap_table.h
106,4 → 106,3
/** @}
*/

/trunk/kernel/arch/sparc64/Makefile.inc
77,7 → 77,6
DEFS += -DKBD_ADDR_OVRD=0x1fff13083f8ULL
DEFS += -DFB_INVERT_COLORS
endif

/trunk/kernel/arch/sparc64/src/console.c
115,5 → 115,6
z8530_release();
#endif
}
/** @}
*/

/trunk/kernel/arch/sparc64/src/trap/trap.c
53,4 → 53,3
/** @}
*/

/trunk/kernel/arch/sparc64/src/trap/syscall.c
42,10 → 42,7
unative_t syscall(int n, istate_t *istate, unative_t a1, unative_t a2, unative_t a3, unative_t a4)
{
if (n >= TT_TRAP_INSTRUCTION(0) && n <= TT_TRAP_INSTRUCTION_LAST)
return syscall_table[n - TT_TRAP_INSTRUCTION(0)](a1, a2, a3, a4);
else
panic("Undefined syscall %d\n", n - TT_TRAP_INSTRUCTION(0));
return syscall_handler(a1, a2, a3, a4, n - TT_TRAP_INSTRUCTION(0));
}
/** @}

/trunk/kernel/arch/sparc64/src/mm/as.c
62,4 → 62,3
/** @}
*/

/trunk/kernel/arch/sparc64/src/mm/page.c
90,7 → 90,7
if (size <= FRAME_SIZE)
order = 0;
else
order = (fnzb32(size - 1) + 1) - FRAME_WIDTH;
order = (fnzb64(size - 1) + 1) - FRAME_WIDTH;
/*
* Use virtual addresses that are beyond the limit of physical memory.

/trunk/kernel/arch/ia64/include/interrupt.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_INTERRUPT_H__
#define __ia64_INTERRUPT_H__
#ifndef KERN_ia64_INTERRUPT_H_
#define KERN_ia64_INTERRUPT_H_
#include <typedefs.h>
#include <arch/types.h>
123,7 → 123,7
{
return istate->cr_iip;
}
#include <panic.h>
static inline int istate_from_uspace(istate_t *istate)
{
return (istate->cr_iip)<0xe000000000000000ULL;
139,10 → 139,7
extern void virtual_interrupt(uint64_t irq, void *param);
extern void disabled_fp_register(uint64_t vector, istate_t *istate);
#endif
/** @}
*/

/trunk/kernel/arch/ia64/include/fpu_context.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_FPU_CONTEXT_H__
#define __ia64_FPU_CONTEXT_H__
#ifndef KERN_ia64_FPU_CONTEXT_H_
#define KERN_ia64_FPU_CONTEXT_H_
#define ARCH_HAS_FPU 1
#define FPU_CONTEXT_ALIGN 16
46,9 → 46,7
__r128 fr[FRS];
};
#endif
/** @}
*/

/trunk/kernel/arch/ia64/include/byteorder.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_BYTEORDER_H__
#define __ia64_BYTEORDER_H__
#ifndef KERN_ia64_BYTEORDER_H_
#define KERN_ia64_BYTEORDER_H_
/* IA-64 is little-endian */
#define unative_t_le2host(n) (n)
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ia64/include/ski/ski.h
32,8 → 32,8
/** @file
*/
#ifndef __SKI_H__
#define __SKI_H__
#ifndef KERN_ia64_SKI_H_
#define KERN_ia64_SKI_H_
#include <arch/types.h>
#include <console/console.h>
53,4 → 53,3
/** @}
*/

/trunk/kernel/arch/ia64/include/types.h
32,8 → 32,8
/** @file
*/
#ifndef __TYPES_H__
#define __TYPES_H__
#ifndef KERN_ia64_TYPES_H_
#define KERN_ia64_TYPES_H_
#define NULL 0
70,4 → 70,3
/** @}
*/

/trunk/kernel/arch/ia64/include/stack.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_STACK_H__
#define __ia64_STACK_H__
#ifndef KERN_ia64_STACK_H_
#define KERN_ia64_STACK_H_
#define STACK_ITEM_SIZE 8
#define STACK_ALIGNMENT 16
44,4 → 44,3
/** @}
*/

/trunk/kernel/arch/ia64/include/elf.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_ELF_H__
#define __ia64_ELF_H__
#ifndef KERN_ia64_ELF_H_
#define KERN_ia64_ELF_H_
#define ELF_MACHINE EM_IA_64
#define ELF_DATA_ENCODING ELFDATA2LSB
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ia64/include/memstr.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_MEMSTR_H__
#define __ia64_MEMSTR_H__
#ifndef KERN_ia64_MEMSTR_H_
#define KERN_ia64_MEMSTR_H_
#define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt))
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ia64/include/arg.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_ARG_H__
#define __ia64_ARG_H__
#ifndef KERN_ia64_ARG_H_
#define KERN_ia64_ARG_H_
#include <stdarg.h>
41,4 → 41,3
/** @}
*/

/trunk/kernel/arch/ia64/include/smp/atomic.h
File deleted

/trunk/kernel/arch/ia64/include/atomic.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_ATOMIC_H__
#define __ia64_ATOMIC_H__
#ifndef KERN_ia64_ATOMIC_H_
#define KERN_ia64_ATOMIC_H_
/** Atomic addition.
*
64,4 → 64,3
/** @}
*/

/trunk/kernel/arch/ia64/include/proc/task.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_TASK_H__
#define __ia64_TASK_H__
#ifndef KERN_ia64_TASK_H_
#define KERN_ia64_TASK_H_
typedef struct {
} task_arch_t;
45,4 → 45,3
/** @}
*/

/trunk/kernel/arch/ia64/include/asm.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_ASM_H__
#define __ia64_ASM_H__
#ifndef KERN_ia64_ASM_H_
#define KERN_ia64_ASM_H_
#include <config.h>
#include <arch/types.h>
283,4 → 283,3
/** @}
*/

/trunk/kernel/arch/ia64/include/mm/frame.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_FRAME_H__
#define __ia64_FRAME_H__
#ifndef KERN_ia64_FRAME_H_
#define KERN_ia64_FRAME_H_
#define FRAME_WIDTH 14 /* 16K */
#define FRAME_SIZE (1<<FRAME_WIDTH)
52,4 → 52,3
/** @}
*/

/trunk/kernel/arch/ia64/include/mm/memory_init.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_MEMORY_INIT_H__
#define __ia64_MEMORY_INIT_H__
#ifndef KERN_ia64_MEMORY_INIT_H_
#define KERN_ia64_MEMORY_INIT_H_
#include <config.h>
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ia64/include/mm/page.h
33,8 → 33,8
/** @file
*/
#ifndef __ia64_PAGE_H__
#define __ia64_PAGE_H__
#ifndef KERN_ia64_PAGE_H_
#define KERN_ia64_PAGE_H_
#include <arch/mm/frame.h>

/trunk/kernel/arch/ia64/include/mm/asid.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_ASID_H__
#define __ia64_ASID_H__
#ifndef KERN_ia64_ASID_H_
#define KERN_ia64_ASID_H_
#ifndef __ASM__
64,4 → 64,3
/** @}
*/

/trunk/kernel/arch/ia64/include/mm/tlb.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_TLB_H__
#define __ia64_TLB_H__
#ifndef KERN_ia64_TLB_H_
#define KERN_ia64_TLB_H_
#define tlb_arch_init()
#define tlb_print()
102,4 → 102,3
/** @}
*/

/trunk/kernel/arch/ia64/include/mm/vhpt.h
32,10 → 32,9
/** @file
*/
#ifndef KERN_ia64_VHPT_H_
#define KERN_ia64_VHPT_H_
#ifndef __ia64_VHPT_H__
#define __ia64_VHPT_H__
#include <arch/mm/tlb.h>
#include <arch/mm/page.h>
55,10 → 54,7
void vhpt_invalidate_all(void);
void vhpt_invalidate_asid(asid_t asid);
#endif
/** @}
*/

/trunk/kernel/arch/ia64/include/mm/as.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_AS_H__
#define __ia64_AS_H__
#ifndef KERN_ia64_AS_H_
#define KERN_ia64_AS_H_
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0
50,4 → 50,3
/** @}
*/

/trunk/kernel/arch/ia64/include/context.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_CONTEXT_H__
#define __ia64_CONTEXT_H__
#ifndef KERN_ia64_CONTEXT_H_
#define KERN_ia64_CONTEXT_H_
#include <arch/types.h>
#include <arch/register.h>
134,4 → 134,3
/** @}
*/

/trunk/kernel/arch/ia64/include/register.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_REGISTER_H__
#define __ia64_REGISTER_H__
#ifndef KERN_ia64_REGISTER_H_
#define KERN_ia64_REGISTER_H_
#define CR_IVR_MASK 0xf
#define PSR_IC_MASK 0x2000
276,4 → 276,3
/** @}
*/

/trunk/kernel/arch/ia64/include/debug.h
33,11 → 33,10
/** @file
*/
#ifndef __ia64_DEBUG_H__
#define __ia64_DEBUG_H__
#ifndef KERN_ia64_DEBUG_H_
#define KERN_ia64_DEBUG_H_
#endif
/** @}
*/

/trunk/kernel/arch/ia64/include/barrier.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_BARRIER_H__
#define __ia64_BARRIER_H__
#ifndef KERN_ia64_BARRIER_H_
#define KERN_ia64_BARRIER_H_
/*
* TODO: Implement true IA-64 memory barriers for macros below.
52,4 → 52,3
/** @}
*/

/trunk/kernel/arch/ia64/include/pal/pal.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_PAL_H__
#define __ia64_PAL_H__
#ifndef KERN_ia64_PAL_H_
#define KERN_ia64_PAL_H_
#define PAL_OK 0 /**< Call completed without error. */
#define PAL_UNIMPL -1 /**< Unimplemented procedure. */
95,7 → 95,7
#define PAL_PMI_ENTRYPOINT 32
/*
Ski PTCE data
* Ski PTCE data
*/
#define PAL_PTCE_INFO_BASE() (0x100000000LL)
#define PAL_PTCE_INFO_COUNT1() (2)
103,9 → 103,7
#define PAL_PTCE_INFO_STRIDE1() (0x10000000)
#define PAL_PTCE_INFO_STRIDE2() (0x2000)
#endif
/** @}
*/

/trunk/kernel/arch/ia64/include/cpu.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_CPU_H__
#define __ia64_CPU_H__
#ifndef KERN_ia64_CPU_H_
#define KERN_ia64_CPU_H_
#include <arch/types.h>
#include <typedefs.h>

/trunk/kernel/arch/ia64/include/drivers/it.h
32,8 → 32,8
/** @file
*/
#ifndef __ia64_IT_H__
#define __ia64_IT_H__
#ifndef KERN_ia64_IT_H_
#define KERN_ia64_IT_H_
/*
* Unfortunately, Ski does not emulate PAL,
50,4 → 50,3
/** @}
*/

/trunk/kernel/arch/ia64/src/proc/scheduler.c
90,4 → 90,3
/** @}
*/

/trunk/kernel/arch/ia64/src/ia64.c
154,4 → 154,3
/** @}
*/

/trunk/kernel/arch/ia64/src/ski/ski.c
158,7 → 158,6
kb_disable = true;
}
static chardev_operations_t ski_ops = {
.resume = ski_kb_enable,
.suspend = ski_kb_disable,
166,7 → 165,6
.read = ski_getchar_blocking
};
/** Initialize debug console
*
* Issue SSC (Simulator System Call) to
188,6 → 186,7
stdout = &ski_console;
}
/** Setup console sysinfo (i.e. Keyboard IRQ)
*
* Because sysinfo neads memory allocation/dealocation
202,4 → 201,3
/** @}
*/

/trunk/kernel/arch/ia64/src/putchar.c
42,4 → 42,3
/** @}
*/

/trunk/kernel/arch/ia64/src/mm/vhpt.c
32,12 → 32,10
/** @file
*/
#include <arch/mm/vhpt.h>
#include <mm/frame.h>
#include <print.h>
static vhpt_entry_t* vhpt_base;
uintptr_t vhpt_set_up(void)

/trunk/kernel/arch/ia64/src/mm/as.c
87,4 → 87,3
/** @}
*/

/trunk/kernel/arch/ia64/src/mm/frame.c
56,4 → 56,3
/** @}
*/

/trunk/kernel/arch/ia64/src/mm/page.c
265,4 → 265,3
/** @}
*/

/trunk/kernel/arch/ia64/src/interrupt.c
216,12 → 216,7
istate->cr_ipsr.ri++;
}
if (istate->in4 < SYSCALL_END)
return syscall_table[istate->in4](istate->in0, istate->in1, istate->in2, istate->in3);
else
panic("Undefined syscall %d", istate->in4);
return -1;
return syscall_handler(istate->in0, istate->in1, istate->in2, istate->in3, istate->in4);
}
void universal_handler(uint64_t vector, istate_t *istate)

/trunk/kernel/arch/ppc32/include/context_offset.h
44,6 → 44,3
#define OFFSET_FR31 0x88
#define OFFSET_FPSCR 0x90
/** @}
*/

/trunk/kernel/arch/ppc32/include/asm/regname.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_REGNAME_H__
#define __ppc32_REGNAME_H__
#ifndef KERN_ppc32_REGNAME_H_
#define KERN_ppc32_REGNAME_H_
/* Condition Register Bit Fields */
#define cr0 0

/trunk/kernel/arch/ppc32/include/interrupt.h
32,14 → 32,13
/** @file
*/
#ifndef __ppc32_INTERRUPT_H__
#define __ppc32_INTERRUPT_H__
#ifndef KERN_ppc32_INTERRUPT_H_
#define KERN_ppc32_INTERRUPT_H_
#include <arch/exception.h>
#define IRQ_COUNT 64
#define IVT_ITEMS (16 + IRQ_COUNT)
#define INT_OFFSET 16

/trunk/kernel/arch/ppc32/include/exception.h
32,10 → 32,10
/** @file
*/
#ifndef __ppc32_EXCEPTION_H__
#define __ppc32_EXCEPTION_H__
#ifndef KERN_ppc32_EXCEPTION_H_
#define KERN_ppc32_EXCEPTION_H_
#ifndef __ppc32_TYPES_H__
#ifndef KERN_ppc32_TYPES_H_
# include <arch/types.h>
#endif

/trunk/kernel/arch/ppc32/include/fpu_context.h
32,10 → 32,10
/** @file
*/
#ifndef __ppc32_FPU_CONTEXT_H__
#define __ppc32_FPU_CONTEXT_H__
#ifndef KERN_ppc32_FPU_CONTEXT_H_
#define KERN_ppc32_FPU_CONTEXT_H_
#ifndef __ppc32_TYPES_H__
#ifndef KERN_ppc32_TYPES_H_
# include <arch/types.h>
#endif
65,4 → 65,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/byteorder.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_BYTEORDER_H__
#define __ppc32_BYTEORDER_H__
#ifndef KERN_ppc32_BYTEORDER_H_
#define KERN_ppc32_BYTEORDER_H_
#include <arch/types.h>
#include <byteorder.h>
71,4 → 71,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/cpuid.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_CPUID_H__
#define __ppc32_CPUID_H__
#ifndef KERN_ppc32_CPUID_H_
#define KERN_ppc32_CPUID_H_
#include <arch/types.h>

/trunk/kernel/arch/ppc32/include/types.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_TYPES_H__
#define __ppc32_TYPES_H__
#ifndef KERN_ppc32_TYPES_H_
#define KERN_ppc32_TYPES_H_
#define NULL 0

/trunk/kernel/arch/ppc32/include/elf.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_ELF_H__
#define __ppc32_ELF_H__
#ifndef KERN_ppc32_ELF_H_
#define KERN_ppc32_ELF_H_
#define ELF_MACHINE EM_PPC
#define ELF_DATA_ENCODING ELFDATA2MSB
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/memstr.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_MEMSTR_H__
#define __ppc32_MEMSTR_H__
#ifndef KERN_ppc32_MEMSTR_H_
#define KERN_ppc32_MEMSTR_H_
#define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt))
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/arg.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_ARG_H__
#define __ppc32_ARG_H__
#ifndef KERN_ppc32_ARG_H_
#define KERN_ppc32_ARG_H_
#include <stdarg.h>
41,4 → 41,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/atomic.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_ATOMIC_H__
#define __ppc32_ATOMIC_H__
#ifndef KERN_ppc32_ATOMIC_H_
#define KERN_ppc32_ATOMIC_H_
static inline void atomic_inc(atomic_t *val)
{
95,4 → 95,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/boot/boot.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_BOOT_H__
#define __ppc32_BOOT_H__
#ifndef KERN_ppc32_BOOT_H_
#define KERN_ppc32_BOOT_H_
#define BOOT_OFFSET 0x8000

/trunk/kernel/arch/ppc32/include/proc/task.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_TASK_H__
#define __ppc32_TASK_H__
#ifndef KERN_ppc32_TASK_H_
#define KERN_ppc32_TASK_H_
typedef struct {
} task_arch_t;
45,4 → 45,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/asm.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_ASM_H__
#define __ppc32_ASM_H__
#ifndef KERN_ppc32_ASM_H_
#define KERN_ppc32_ASM_H_
#include <arch/types.h>
#include <config.h>
153,4 → 153,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/faddr.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_FADDR_H__
#define __ppc32_FADDR_H__
#ifndef KERN_ppc32_FADDR_H_
#define KERN_ppc32_FADDR_H_
#include <arch/types.h>
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/mm/frame.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_FRAME_H__
#define __ppc32_FRAME_H__
#ifndef KERN_ppc32_FRAME_H_
#define KERN_ppc32_FRAME_H_
#define FRAME_WIDTH 12 /* 4K */
#define FRAME_SIZE (1 << FRAME_WIDTH)

/trunk/kernel/arch/ppc32/include/mm/memory_init.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_MEMORY_INIT_H__
#define __ppc32_MEMORY_INIT_H__
#ifndef KERN_ppc32_MEMORY_INIT_H_
#define KERN_ppc32_MEMORY_INIT_H_
#include <typedefs.h>

/trunk/kernel/arch/ppc32/include/mm/asid.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_ASID_H__
#define __ppc32_ASID_H__
#ifndef KERN_ppc32_ASID_H_
#define KERN_ppc32_ASID_H_
#include <arch/types.h>

/trunk/kernel/arch/ppc32/include/mm/tlb.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_TLB_H__
#define __ppc32_TLB_H__
#ifndef KERN_ppc32_TLB_H_
#define KERN_ppc32_TLB_H_
typedef struct {
unsigned v : 1; /**< Valid */

/trunk/kernel/arch/ppc32/include/mm/as.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_AS_H__
#define __ppc32_AS_H__
#ifndef KERN_ppc32_AS_H_
#define KERN_ppc32_AS_H_
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0

/trunk/kernel/arch/ppc32/include/context.h
32,10 → 32,10
/** @file
*/
#ifndef __ppc32_CONTEXT_H__
#define __ppc32_CONTEXT_H__
#ifndef KERN_ppc32_CONTEXT_H_
#define KERN_ppc32_CONTEXT_H_
#ifndef __ppc32_TYPES_H__
#ifndef KERN_ppc32_TYPES_H_
# include <arch/types.h>
#endif
75,4 → 75,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/debug.h
32,11 → 32,10
/** @file
*/
#ifndef __ppc32_DEBUG_H__
#define __ppc32_DEBUG_H__
#ifndef KERN_ppc32_DEBUG_H_
#define KERN_ppc32_DEBUG_H_
#endif
/** @}
*/

/trunk/kernel/arch/ppc32/include/barrier.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_BARRIER_H__
#define __ppc32_BARRIER_H__
#ifndef KERN_ppc32_BARRIER_H_
#define KERN_ppc32_BARRIER_H_
#define CS_ENTER_BARRIER() asm volatile ("" ::: "memory")
#define CS_LEAVE_BARRIER() asm volatile ("" ::: "memory")
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ppc32/include/cpu.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc32_CPU_H__
#define __ppc32_CPU_H__
#ifndef KERN_ppc32_CPU_H_
#define KERN_ppc32_CPU_H_
#include <typedefs.h>

/trunk/kernel/arch/ppc32/include/drivers/pic.h
32,8 → 32,8
/** @file
*/
#ifndef __PIC_H_
#define __PIC_H_
#ifndef KERN_ppc32_PIC_H_
#define KERN_ppc32_PIC_H_
#define PIC_PENDING_LOW 8
#define PIC_PENDING_HIGH 4

/trunk/kernel/arch/ppc32/include/drivers/cuda.h
32,8 → 32,8
/** @file
*/
#ifndef __CUDA_H__
#define __CUDA_H__
#ifndef KERN_ppc32_CUDA_H_
#define KERN_ppc32_CUDA_H_
#include <arch/types.h>
#include <typedefs.h>

/trunk/kernel/arch/ppc32/src/ddi/ddi.c
54,4 → 54,3
/** @}
*/

/trunk/kernel/arch/ppc32/src/drivers/pic.c
92,4 → 92,3
/** @}
*/

/trunk/kernel/arch/amd64/include/context_offset.h
9,6 → 9,3
#define OFFSET_R15 0x38
#define OFFSET_IPL 0x40
/** @}
*/

/trunk/kernel/arch/amd64/include/interrupt.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_INTERRUPT_H__
#define __ia32_INTERRUPT_H__
#ifndef KERN_amd64_INTERRUPT_H_
#define KERN_amd64_INTERRUPT_H_
#include <arch/types.h>
#include <arch/pm.h>
130,4 → 130,3
/** @}
*/

/trunk/kernel/arch/amd64/include/byteorder.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_BYTEORDER_H__
#define __amd64_BYTEORDER_H__
#ifndef KERN_amd64_BYTEORDER_H_
#define KERN_amd64_BYTEORDER_H_
/* AMD64 is little-endian */
#define unative_t_le2host(n) (n)
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/amd64/include/cpuid.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_CPUID_H__
#define __amd64_CPUID_H__
#ifndef KERN_amd64_CPUID_H_
#define KERN_amd64_CPUID_H_
#define AMD_CPUID_EXTENDED 0x80000001
#define AMD_EXT_NOEXECUTE 20
60,7 → 60,7
extern uint64_t rdtsc(void);
#endif /* __ASM__ */
#endif /* !def __ASM__ */
#endif
/** @}

/trunk/kernel/arch/amd64/include/types.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_TYPES_H__
#define __amd64_TYPES_H__
#ifndef KERN_amd64_TYPES_H_
#define KERN_amd64_TYPES_H_
#define NULL 0

/trunk/kernel/arch/amd64/include/elf.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_ELF_H__
#define __amd64_ELF_H__
#ifndef KERN_amd64_ELF_H_
#define KERN_amd64_ELF_H_
#define ELF_MACHINE EM_X86_64
#define ELF_DATA_ENCODING ELFDATA2LSB
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/amd64/include/memstr.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_MEMSTR_H__
#define __amd64_MEMSTR_H__
#ifndef KERN_amd64_MEMSTR_H_
#define KERN_amd64_MEMSTR_H_
/** Copy memory
*
143,4 → 143,3
/** @}
*/

/trunk/kernel/arch/amd64/include/arg.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_ARG_H__
#define __amd64_ARG_H__
#ifndef KERN_amd64_ARG_H_
#define KERN_amd64_ARG_H_
#include <stdarg.h>

/trunk/kernel/arch/amd64/include/ddi/ddi.h
35,8 → 35,8
* @brief amd64 specific DDI declarations and macros.
*/
#ifndef __amd64_DDI_H__
#define __amd64_DDI_H__
#ifndef KERN_amd64_DDI_H_
#define KERN_amd64_DDI_H_
extern void io_perm_bitmap_install(void);
44,4 → 44,3
/** @}
*/

/trunk/kernel/arch/amd64/include/syscall.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_SYSCALL_H__
#define __amd64_SYSCALL_H__
#ifndef KERN_amd64_SYSCALL_H_
#define KERN_amd64_SYSCALL_H_
#include <arch/types.h>
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/amd64/include/atomic.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_ATOMIC_H__
#define __amd64_ATOMIC_H__
#ifndef KERN_amd64_ATOMIC_H_
#define KERN_amd64_ATOMIC_H_
#include <arch/types.h>
#include <arch/barrier.h>
127,4 → 127,3
/** @}
*/

/trunk/kernel/arch/amd64/include/pm.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_PM_H__
#define __amd64_PM_H__
#ifndef KERN_amd64_PM_H_
#define KERN_amd64_PM_H_
#ifndef __ASM__
# include <arch/types.h>
196,4 → 196,3
/** @}
*/

/trunk/kernel/arch/amd64/include/boot/boot.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_BOOT_H__
#define __amd64_BOOT_H__
#ifndef KERN_amd64_BOOT_H_
#define KERN_amd64_BOOT_H_
#define BOOT_OFFSET 0x108000
#define AP_BOOT_OFFSET 0x8000

/trunk/kernel/arch/amd64/include/asm.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_ASM_H__
#define __amd64_ASM_H__
#ifndef KERN_amd64_ASM_H_
#define KERN_amd64_ASM_H_
#include <arch/pm.h>
#include <arch/types.h>
274,7 → 274,6
GEN_WRITE_REG(dr6);
GEN_WRITE_REG(dr7);
extern size_t interrupt_handler_size;
extern void interrupt_handlers(void);
282,4 → 281,3
/** @}
*/

/trunk/kernel/arch/amd64/include/faddr.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_FADDR_H__
#define __amd64_FADDR_H__
#ifndef KERN_amd64_FADDR_H_
#define KERN_amd64_FADDR_H_
#include <arch/types.h>

/trunk/kernel/arch/amd64/include/mm/frame.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_FRAME_H__
#define __amd64_FRAME_H__
#ifndef KERN_amd64_FRAME_H_
#define KERN_amd64_FRAME_H_
#ifndef __ASM__
#include <arch/types.h>
42,7 → 42,6
#define FRAME_WIDTH 12 /* 4K */
#define FRAME_SIZE (1<<FRAME_WIDTH)
#ifndef __ASM__
extern uintptr_t last_frame;
extern void frame_arch_init(void);
52,4 → 51,3
/** @}
*/

/trunk/kernel/arch/amd64/include/mm/page.h
44,8 → 44,8
* ATTENTION - PA2KA(KA2PA(x)) != x if 'x' is in kernel
*/
#ifndef __amd64_PAGE_H__
#define __amd64_PAGE_H__
#ifndef KERN_amd64_PAGE_H_
#define KERN_amd64_PAGE_H_
#include <arch/mm/frame.h>

/trunk/kernel/arch/amd64/include/mm/ptl.h
32,10 → 32,9
/** @file
*/
#ifndef KERN_amd64_PTL_H_
#define KERN_amd64_PTL_H_
#ifndef __amd64_PTL_H_
#define __amd64_PTL_H_
#define PTL_NO_EXEC (1<<63)
#define PTL_ACCESSED (1<<5)
#define PTL_CACHE_DISABLE (1<<4)
50,4 → 49,3
/** @}
*/

/trunk/kernel/arch/amd64/include/mm/tlb.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_TLB_H__
#define __amd64_TLB_H__
#ifndef KERN_amd64_TLB_H_
#define KERN_amd64_TLB_H_
#define tlb_arch_init()
#define tlb_print()
42,4 → 42,3
/** @}
*/

/trunk/kernel/arch/amd64/include/mm/as.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_AS_H__
#define __amd64_AS_H__
#ifndef KERN_amd64_AS_H_
#define KERN_amd64_AS_H_
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0
52,4 → 52,3
/** @}
*/

/trunk/kernel/arch/amd64/include/debugger.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_DEBUGGER_H__
#define __amd64_DEBUGGER_H__
#ifndef KERN_amd64_DEBUGGER_H_
#define KERN_amd64_DEBUGGER_H_
#include <arch/types.h>
55,4 → 55,3
/** @}
*/

/trunk/kernel/arch/amd64/include/context.h
32,10 → 32,10
/** @file
*/
#ifndef __amd64_CONTEXT_H__
#define __amd64_CONTEXT_H__
#ifndef KERN_amd64_CONTEXT_H_
#define KERN_amd64_CONTEXT_H_
#ifndef __amd64_TYPES_H__
#ifndef KERN_amd64_TYPES_H_
# include <arch/types.h>
#endif
68,4 → 68,3
/** @}
*/

/trunk/kernel/arch/amd64/include/cpu.h
32,8 → 32,8
/** @file
*/
#ifndef __amd64_CPU_H__
#define __amd64_CPU_H__
#ifndef KERN_amd64_CPU_H_
#define KERN_amd64_CPU_H_
#define RFLAGS_IF (1 << 9)
#define RFLAGS_RF (1 << 16)

/trunk/kernel/arch/amd64/include/drivers/vesa.h
32,16 → 32,13
/** @file
*/
#ifndef __VESA_H__
#define __VESA_H__
#ifndef KERN_amd64_VESA_H_
#define KERN_amd64_VESA_H_
int vesa_present(void);
void vesa_init(void);
#endif
/** @}
*/

/trunk/kernel/arch/amd64/src/syscall.c
69,4 → 69,3
/** @}
*/

/trunk/kernel/arch/amd64/src/pm.c
242,4 → 242,3
/** @}
*/

/trunk/kernel/arch/amd64/src/ddi/ddi.c
164,4 → 164,3
/** @}
*/

/trunk/kernel/arch/amd64/src/proc/scheduler.c
82,4 → 82,3
/** @}
*/

/trunk/kernel/arch/amd64/src/proc/task.c
58,4 → 58,3
/** @}
*/

/trunk/kernel/arch/amd64/src/debugger.c
384,4 → 384,3
/** @}
*/

/trunk/kernel/arch/amd64/src/mm/memory_init.c
75,7 → 75,5
}
/** @}
*/

/trunk/kernel/arch/amd64/src/mm/page.c
217,4 → 217,3
/** @}
*/

/trunk/kernel/arch/amd64/src/userspace.c
79,4 → 79,3
/** @}
*/

/trunk/kernel/arch/amd64/src/interrupt.c
184,4 → 184,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/context_offset.h
43,7 → 43,3
#define OFFSET_FR30 0x80
#define OFFSET_FR31 0x88
#define OFFSET_FPSCR 0x90
/** @}
*/

/trunk/kernel/arch/ppc64/include/asm/regname.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_REGNAME_H__
#define __ppc64_REGNAME_H__
#ifndef KERN_ppc64_REGNAME_H_
#define KERN_ppc64_REGNAME_H_
/* Condition Register Bit Fields */
#define cr0 0
213,4 → 213,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/interrupt.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_INTERRUPT_H__
#define __ppc64_INTERRUPT_H__
#ifndef KERN_ppc64_INTERRUPT_H_
#define KERN_ppc64_INTERRUPT_H_
#include <arch/exception.h>
50,4 → 50,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/exception.h
32,10 → 32,10
/** @file
*/
#ifndef __ppc64_EXCEPTION_H__
#define __ppc64_EXCEPTION_H__
#ifndef KERN_ppc64_EXCEPTION_H_
#define KERN_ppc64_EXCEPTION_H_
#ifndef __ppc64_TYPES_H__
#ifndef KERN_ppc64_TYPES_H_
# include <arch/types.h>
#endif
102,4 → 102,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/fpu_context.h
32,10 → 32,10
/** @file
*/
#ifndef __ppc64_FPU_CONTEXT_H__
#define __ppc64_FPU_CONTEXT_H__
#ifndef KERN_ppc64_FPU_CONTEXT_H_
#define KERN_ppc64_FPU_CONTEXT_H_
#ifndef __ppc64_TYPES_H__
#ifndef KERN_ppc64_TYPES_H_
# include <arch/types.h>
#endif
65,4 → 65,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/byteorder.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_BYTEORDER_H__
#define __ppc64_BYTEORDER_H__
#ifndef KERN_ppc64_BYTEORDER_H_
#define KERN_ppc64_BYTEORDER_H_
#include <arch/types.h>
#include <byteorder.h>
71,4 → 71,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/cpuid.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_CPUID_H__
#define __ppc64_CPUID_H__
#ifndef KERN_ppc64_CPUID_H_
#define KERN_ppc64_CPUID_H_
#include <arch/types.h>

/trunk/kernel/arch/ppc64/include/types.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_TYPES_H__
#define __ppc64_TYPES_H__
#ifndef KERN_ppc64_TYPES_H_
#define KERN_ppc64_TYPES_H_
#define NULL 0
67,4 → 67,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/elf.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_ELF_H__
#define __ppc64_ELF_H__
#ifndef KERN_ppc64_ELF_H_
#define KERN_ppc64_ELF_H_
#define ELF_MACHINE EM_PPC64
#define ELF_DATA_ENCODING ELFDATA2MSB
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/memstr.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_MEMSTR_H__
#define __ppc64_MEMSTR_H__
#ifndef KERN_ppc64_MEMSTR_H_
#define KERN_ppc64_MEMSTR_H_
#define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt))
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/arg.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_ARG_H__
#define __ppc64_ARG_H__
#ifndef KERN_ppc64_ARG_H_
#define KERN_ppc64_ARG_H_
#include <stdarg.h>
41,4 → 41,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/atomic.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_ATOMIC_H__
#define __ppc64_ATOMIC_H__
#ifndef KERN_ppc64_ATOMIC_H_
#define KERN_ppc64_ATOMIC_H_
static inline void atomic_inc(atomic_t *val)
{
95,4 → 95,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/boot/boot.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_BOOT_H__
#define __ppc64_BOOT_H__
#ifndef KERN_ppc64_BOOT_H_
#define KERN_ppc64_BOOT_H_
#define BOOT_OFFSET 0x4000
90,4 → 90,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/proc/task.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_TASK_H__
#define __ppc64_TASK_H__
#ifndef KERN_ppc64_TASK_H_
#define KERN_ppc64_TASK_H_
typedef struct {
} task_arch_t;
45,4 → 45,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/proc/thread.h
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/faddr.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_FADDR_H__
#define __ppc64_FADDR_H__
#ifndef KERN_ppc64_FADDR_H_
#define KERN_ppc64_FADDR_H_
#include <arch/types.h>
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/asm.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_ASM_H__
#define __ppc64_ASM_H__
#ifndef KERN_ppc64_ASM_H_
#define KERN_ppc64_ASM_H_
#include <arch/types.h>
#include <config.h>
159,4 → 159,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/mm/frame.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_FRAME_H__
#define __ppc64_FRAME_H__
#ifndef KERN_ppc64_FRAME_H_
#define KERN_ppc64_FRAME_H_
#define FRAME_WIDTH 12 /* 4K */
#define FRAME_SIZE (1 << FRAME_WIDTH)
54,4 → 54,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/mm/memory_init.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_MEMORY_INIT_H__
#define __ppc64_MEMORY_INIT_H__
#ifndef KERN_ppc64_MEMORY_INIT_H_
#define KERN_ppc64_MEMORY_INIT_H_
#include <typedefs.h>
45,4 → 45,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/mm/page.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_PAGE_H__
#define __ppc64_PAGE_H__
#ifndef KERN_ppc64_PAGE_H_
#define KERN_ppc64_PAGE_H_
#include <arch/mm/frame.h>
160,4 → 160,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/mm/asid.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_ASID_H__
#define __ppc64_ASID_H__
#ifndef KERN_ppc64_ASID_H_
#define KERN_ppc64_ASID_H_
typedef int asid_t;
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/mm/tlb.h
32,12 → 32,10
/** @file
*/
#ifndef __ppc64_TLB_H__
#define __ppc64_TLB_H__
#ifndef KERN_ppc64_TLB_H_
#define KERN_ppc64_TLB_H_
#endif
/** @}
*/

/trunk/kernel/arch/ppc64/include/mm/as.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_AS_H__
#define __ppc64_AS_H__
#ifndef KERN_ppc64_AS_H_
#define KERN_ppc64_AS_H_
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0
52,4 → 52,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/context.h
32,10 → 32,10
/** @file
*/
#ifndef __ppc64_CONTEXT_H__
#define __ppc64_CONTEXT_H__
#ifndef KERN_ppc64_CONTEXT_H_
#define KERN_ppc64_CONTEXT_H_
#ifndef __ppc64_TYPES_H__
#ifndef KERN_ppc64_TYPES_H_
# include <arch/types.h>
#endif
75,4 → 75,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/debug.h
32,11 → 32,10
/** @file
*/
#ifndef __ppc64_DEBUG_H__
#define __ppc64_DEBUG_H__
#ifndef KERN_ppc64_DEBUG_H_
#define KERN_ppc64_DEBUG_H_
#endif
/** @}
*/

/trunk/kernel/arch/ppc64/include/barrier.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_BARRIER_H__
#define __ppc64_BARRIER_H__
#ifndef KERN_ppc64_BARRIER_H_
#define KERN_ppc64_BARRIER_H_
#define CS_ENTER_BARRIER() asm volatile ("" ::: "memory")
#define CS_LEAVE_BARRIER() asm volatile ("" ::: "memory")
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ppc64/include/cpu.h
32,8 → 32,8
/** @file
*/
#ifndef __ppc64_CPU_H__
#define __ppc64_CPU_H__
#ifndef KERN_ppc64_CPU_H_
#define KERN_ppc64_CPU_H_
#include <typedefs.h>

/trunk/kernel/arch/ppc64/src/ddi/ddi.c
54,4 → 54,3
/** @}
*/

/trunk/kernel/arch/ppc64/src/proc/scheduler.c
61,4 → 61,3
/** @}
*/

/trunk/kernel/arch/ppc64/src/mm/frame.c
69,4 → 69,3
/** @}
*/

/trunk/kernel/arch/ppc64/src/mm/memory_init.c
54,4 → 54,3
/** @}
*/

/trunk/kernel/arch/ppc64/src/mm/page.c
305,4 → 305,3
/** @}
*/

/trunk/kernel/arch/ppc64/src/interrupt.c
73,4 → 73,3
/** @}
*/

/trunk/kernel/arch/mips32/include/asm/regname.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_REGNAME_H_
#define __mips32_REGNAME_H_
#ifndef KERN_mips32_REGNAME_H_
#define KERN_mips32_REGNAME_H_
#define zero 0
#define at 1
91,8 → 91,7
#define depc 24
#define eepc 30
#endif /* KERN_mips32_REGNAME_H_ */
#endif /* _REGNAME_H_ */
/** @}
*/

/trunk/kernel/arch/mips32/include/asm/boot.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_BOOT_H_
#define __mips32_BOOT_H_
#ifndef KERN_mips32_BOOT_H_
#define KERN_mips32_BOOT_H_
/* Temporary stack size for boot process */
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/mips32/include/interrupt.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_INTERRUPT_H__
#define __mips32_INTERRUPT_H__
#ifndef KERN_mips32_INTERRUPT_H_
#define KERN_mips32_INTERRUPT_H_
#include <arch/exception.h>

/trunk/kernel/arch/mips32/include/exception.h
32,10 → 32,10
/** @file
*/
#ifndef __mips32_EXCEPTION_H__
#define __mips32_EXCEPTION_H__
#ifndef KERN_mips32_EXCEPTION_H_
#define KERN_mips32_EXCEPTION_H_
#ifndef __mips32_TYPES_H__
#ifndef KERN_mips32_TYPES_H_
# include <arch/types.h>
#endif

/trunk/kernel/arch/mips32/include/fpu_context.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_FPU_CONTEXT_H__
#define __mips32_FPU_CONTEXT_H__
#ifndef KERN_mips32_FPU_CONTEXT_H_
#define KERN_mips32_FPU_CONTEXT_H_
#include <arch/types.h>

/trunk/kernel/arch/mips32/include/byteorder.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_BYTEORDER_H__
#define __mips32_BYTEORDER_H__
#ifndef KERN_mips32_BYTEORDER_H_
#define KERN_mips32_BYTEORDER_H_
#include <arch/types.h>
#include <byteorder.h>

/trunk/kernel/arch/mips32/include/console.h
32,10 → 32,9
/** @file
*/
#ifndef __mips32_CONSOLE_H__
#define __mips32_CONSOLE_H__
#ifndef KERN_mips32_CONSOLE_H_
#define KERN_mips32_CONSOLE_H_
void console_init(void);
#endif

/trunk/kernel/arch/mips32/include/cache.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_CACHE_H__
#define __mips32_CACHE_H__
#ifndef KERN_mips32_CACHE_H_
#define KERN_mips32_CACHE_H_
#include <typedefs.h>

/trunk/kernel/arch/mips32/include/boot.h
26,8 → 26,8
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#ifndef __mips32_BOOT_H__
#define __mips32_BOOT_H__
#ifndef KERN_mips32_BOOT_H_
#define KERN_mips32_BOOT_H_
#define TASKMAP_MAX_RECORDS 32

/trunk/kernel/arch/mips32/include/types.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_TYPES_H__
#define __mips32_TYPES_H__
#ifndef KERN_mips32_TYPES_H_
#define KERN_mips32_TYPES_H_
#define NULL 0

/trunk/kernel/arch/mips32/include/stack.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_STACK_H__
#define __mips32_STACK_H__
#ifndef KERN_mips32_STACK_H_
#define KERN_mips32_STACK_H_
#define STACK_ITEM_SIZE 4
#define STACK_ALIGNMENT 8

/trunk/kernel/arch/mips32/include/elf.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_ELF_H__
#define __mips32_ELF_H__
#ifndef KERN_mips32_ELF_H_
#define KERN_mips32_ELF_H_
#define ELF_MACHINE EM_MIPS

/trunk/kernel/arch/mips32/include/memstr.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_MEMSTR_H__
#define __mips32_MEMSTR_H__
#ifndef KERN_mips32_MEMSTR_H_
#define KERN_mips32_MEMSTR_H_
#define memcpy(dst, src, cnt) __builtin_memcpy((dst), (src), (cnt))

/trunk/kernel/arch/mips32/include/arg.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_ARG_H__
#define __mips32_ARG_H__
#ifndef KERN_mips32_ARG_H_
#define KERN_mips32_ARG_H_
#include <arch/types.h>

/trunk/kernel/arch/mips32/include/atomic.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_ATOMIC_H__
#define __mips32_ATOMIC_H__
#ifndef KERN_mips32_ATOMIC_H_
#define KERN_mips32_ATOMIC_H_
#define atomic_inc(x) ((void) atomic_add(x, 1))
#define atomic_dec(x) ((void) atomic_add(x, -1))

/trunk/kernel/arch/mips32/include/proc/task.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_TASK_H__
#define __mips32_TASK_H__
#ifndef KERN_mips32_TASK_H_
#define KERN_mips32_TASK_H_
typedef struct {
} task_arch_t;
45,4 → 45,3
/** @}
*/

/trunk/kernel/arch/mips32/include/asm.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_ASM_H__
#define __mips32_ASM_H__
#ifndef KERN_mips32_ASM_H_
#define KERN_mips32_ASM_H_
#include <arch/types.h>
#include <typedefs.h>

/trunk/kernel/arch/mips32/include/faddr.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_FADDR_H__
#define __mips32_FADDR_H__
#ifndef KERN_mips32_FADDR_H_
#define KERN_mips32_FADDR_H_
#include <arch/types.h>

/trunk/kernel/arch/mips32/include/cp0.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_CP0_H__
#define __mips32_CP0_H__
#ifndef KERN_mips32_CP0_H_
#define KERN_mips32_CP0_H_
#include <arch/types.h>
#include <arch/mm/tlb.h>

/trunk/kernel/arch/mips32/include/mm/frame.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_FRAME_H__
#define __mips32_FRAME_H__
#ifndef KERN_mips32_FRAME_H_
#define KERN_mips32_FRAME_H_
#define FRAME_WIDTH 14 /* 16K */
#define FRAME_SIZE (1<<FRAME_WIDTH)

/trunk/kernel/arch/mips32/include/mm/memory_init.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_MEMORY_INIT_H__
#define __mips32_MEMORY_INIT_H__
#ifndef KERN_mips32_MEMORY_INIT_H_
#define KERN_mips32_MEMORY_INIT_H_
#include <config.h>

/trunk/kernel/arch/mips32/include/mm/page.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_PAGE_H__
#define __mips32_PAGE_H__
#ifndef KERN_mips32_PAGE_H_
#define KERN_mips32_PAGE_H_
#include <arch/mm/frame.h>

/trunk/kernel/arch/mips32/include/mm/asid.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_ASID_H__
#define __mips32_ASID_H__
#ifndef KERN_mips32_ASID_H_
#define KERN_mips32_ASID_H_
#include <arch/types.h>
45,4 → 45,3
/** @}
*/

/trunk/kernel/arch/mips32/include/mm/tlb.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_TLB_H__
#define __mips32_TLB_H__
#ifndef KERN_mips32_TLB_H_
#define KERN_mips32_TLB_H_
#include <arch/exception.h>
#include <typedefs.h>

/trunk/kernel/arch/mips32/include/mm/as.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_AS_H__
#define __mips32_AS_H__
#ifndef KERN_mips32_AS_H_
#define KERN_mips32_AS_H_
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0

/trunk/kernel/arch/mips32/include/debugger.h
32,8 → 32,8
/** @file
*/
#ifndef _mips32_DEBUGGER_H_
#define _mips32_DEBUGGER_H_
#ifndef KERN_mips32_DEBUGGER_H_
#define KERN_mips32_DEBUGGER_H_
#include <typedefs.h>
#include <arch/exception.h>

/trunk/kernel/arch/mips32/include/context.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_CONTEXT_H__
#define __mips32_CONTEXT_H__
#ifndef KERN_mips32_CONTEXT_H_
#define KERN_mips32_CONTEXT_H_
#include <align.h>
#include <arch/stack.h>

/trunk/kernel/arch/mips32/include/debug.h
32,11 → 32,9
/** @file
*/
#ifndef __mips32_DEBUG_H__
#define __mips23_DEBUG_H__
#ifndef KERN_mips32_DEBUG_H_
#define KERN_mips23_DEBUG_H_
/** simulator enters the trace mode */
#define ___traceon() asm volatile ( "\t.word\t0x39\n");
/** simulator leaves the trace mode */
48,7 → 46,6
/** simulator enters interactive mode */
#define ___intmode() asm volatile ( "\t.word\t0x29\n");
#endif
/** @}

/trunk/kernel/arch/mips32/include/barrier.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_BARRIER_H__
#define __mips32_BARRIER_H__
#ifndef KERN_mips32_BARRIER_H_
#define KERN_mips32_BARRIER_H_
/*
* TODO: implement true MIPS memory barriers for macros below.
49,4 → 49,3
/** @}
*/

/trunk/kernel/arch/mips32/include/cpu.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_CPU_H__
#define __mips32_CPU_H__
#ifndef KERN_mips32_CPU_H_
#define KERN_mips32_CPU_H_
#include <arch/types.h>

/trunk/kernel/arch/mips32/include/drivers/serial.h
32,8 → 32,8
/** @file
*/
#ifndef __DRV_SERIAL_H__
#define __DRV_SERIAL_H__
#ifndef KERN_mips32_SERIAL_H_
#define KERN_mips32_SERIAL_H_
#include <console/chardev.h>
69,4 → 69,3
/** @}
*/

/trunk/kernel/arch/mips32/include/drivers/arc.h
32,8 → 32,8
/** @file
*/
#ifndef __mips32_ARC_H__
#define __mips32_ARC_H__
#ifndef KERN_mips32_ARC_H_
#define KERN_mips32_ARC_H_
#include <arch/types.h>
#include <console/chardev.h>
265,4 → 265,3
/** @}
*/

/trunk/kernel/arch/mips32/include/drivers/msim.h
32,8 → 32,8
/** @file
*/
#ifndef _MSIM_H_
#define _MSIM_H_
#ifndef KERN_mips32_MSIM_H_
#define KERN_mips32_MSIM_H_
#include <console/chardev.h>
50,4 → 50,3
/** @}
*/

/trunk/kernel/arch/mips32/src/console.c
66,4 → 66,3
/** @}
*/

/trunk/kernel/arch/mips32/src/cache.c
44,4 → 44,3
/** @}
*/

/trunk/kernel/arch/mips32/src/mips32.c
32,7 → 32,6
/** @file
*/
#include <arch.h>
#include <arch/boot.h>
#include <arch/cp0.h>
179,6 → 178,5
return 0;
}
/** @}
*/

/trunk/kernel/arch/mips32/src/ddi/ddi.c
57,4 → 57,3
/** @}
*/

/trunk/kernel/arch/mips32/src/debugger.c
385,4 → 385,3
/** @}
*/

/trunk/kernel/arch/mips32/src/mm/as.c
72,7 → 72,5
interrupts_restore(ipl);
}
/** @}
*/

/trunk/kernel/arch/mips32/src/mm/page.c
52,4 → 52,3
/** @}
*/

/trunk/kernel/arch/mips32/src/interrupt.c
143,4 → 143,3
/** @}
*/

/trunk/kernel/arch/mips32/src/drivers/serial.c
145,4 → 145,3
/** @}
*/

/trunk/kernel/arch/mips32/src/drivers/arc.c
407,7 → 407,5
config.memory_size = total;
}
/** @}
*/

/trunk/kernel/arch/mips32/src/drivers/msim.c
128,4 → 128,3
/** @}
*/

/trunk/kernel/arch/ia32/include/interrupt.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_INTERRUPT_H__
#define __ia32_INTERRUPT_H__
#ifndef KERN_ia32_INTERRUPT_H_
#define KERN_ia32_INTERRUPT_H_
#include <arch/types.h>
#include <arch/pm.h>
126,4 → 126,3
/** @}
*/

/trunk/kernel/arch/ia32/include/fpu_context.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_FPU_CONTEXT_H__
#define __ia32_FPU_CONTEXT_H__
#ifndef KERN_ia32_FPU_CONTEXT_H_
#define KERN_ia32_FPU_CONTEXT_H_
#include <arch/types.h>
48,9 → 48,7
uint8_t fpu[512]; /* FXSAVE & FXRSTOR storage area */
};
#endif
/** @}
*/

/trunk/kernel/arch/ia32/include/byteorder.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_BYTEORDER_H__
#define __ia32_BYTEORDER_H__
#ifndef KERN_ia32_BYTEORDER_H_
#define KERN_ia32_BYTEORDER_H_
/* IA-32 is little-endian */
#define unative_t_le2host(n) (n)
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ia32/include/cpuid.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_CPUID_H__
#define __ia32_CPUID_H__
#ifndef KERN_ia32_CPUID_H_
#define KERN_ia32_CPUID_H_
#include <arch/types.h>
117,4 → 117,3
/** @}
*/

/trunk/kernel/arch/ia32/include/types.h
32,8 → 32,8
/** @file
*/
#ifndef __TYPES_H__
#define __TYPES_H__
#ifndef KERN_ia32_TYPES_H_
#define KERN_ia32_TYPES_H_
#define NULL 0

/trunk/kernel/arch/ia32/include/elf.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_ELF_H__
#define __ia32_ELF_H__
#ifndef KERN_ia32_ELF_H_
#define KERN_ia32_ELF_H_
#define ELF_MACHINE EM_386
#define ELF_DATA_ENCODING ELFDATA2LSB
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ia32/include/bios/bios.h
32,8 → 32,8
/** @file
*/
#ifndef __BIOS_H__
#define __BIOS_H__
#ifndef KERN_ia32_BIOS_H_
#define KERN_ia32_BIOS_H_
#include <arch/types.h>
43,8 → 43,7
extern void bios_init(void);
#endif /* __BIOS_H__ */
#endif /* KERN_ia32_BIOS_H_ */
/** @}
*/

/trunk/kernel/arch/ia32/include/memstr.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_MEMSTR_H__
#define __ia32_MEMSTR_H__
#ifndef KERN_ia32_MEMSTR_H_
#define KERN_ia32_MEMSTR_H_
/** Copy memory
*
149,4 → 149,3
/** @}
*/

/trunk/kernel/arch/ia32/include/arg.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_ARG_H__
#define __ia32_ARG_H__
#ifndef KERN_ia32_ARG_H_
#define KERN_ia32_ARG_H_
#include <stackarg.h>
41,4 → 41,3
/** @}
*/

/trunk/kernel/arch/ia32/include/smp/apic.h
32,8 → 32,8
/** @file
*/
#ifndef __APIC_H__
#define __APIC_H__
#ifndef KERN_ia32_APIC_H_
#define KERN_ia32_APIC_H_
#include <arch/types.h>
#include <cpu.h>
368,4 → 368,3
/** @}
*/

/trunk/kernel/arch/ia32/include/smp/mps.h
32,8 → 32,8
/** @file
*/
#ifndef __MPS_H__
#define __MPS_H__
#ifndef KERN_ia32_MPS_H_
#define KERN_ia32_MPS_H_
#include <arch/types.h>
#include <typedefs.h>
132,4 → 132,3
/** @}
*/

/trunk/kernel/arch/ia32/include/smp/smp.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_SMP_H__
#define __ia32_SMP_H__
#ifndef KERN_ia32_SMP_H_
#define KERN_ia32_SMP_H_
#include <arch/types.h>
#include <typedefs.h>
53,4 → 53,3
/** @}
*/

/trunk/kernel/arch/ia32/include/smp/ap.h
32,8 → 32,8
/** @file
*/
#ifndef __AP_H__
#define __AP_H__
#ifndef KERN_ia32_AP_H_
#define KERN_ia32_AP_H_
extern void ap_boot(void);
41,4 → 41,3
/** @}
*/

/trunk/kernel/arch/ia32/include/ddi/ddi.h
34,8 → 34,8
* @brief ia32 specific DDI declarations and macros.
*/
#ifndef __ia32_DDI_H__
#define __ia32_DDI_H__
#ifndef KERN_ia32_DDI_H_
#define KERN_ia32_DDI_H_
extern void io_perm_bitmap_install(void);
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ia32/include/atomic.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_ATOMIC_H__
#define __ia32_ATOMIC_H__
#ifndef KERN_ia32_ATOMIC_H_
#define KERN_ia32_ATOMIC_H_
#include <arch/types.h>
#include <arch/barrier.h>
126,4 → 126,3
/** @}
*/

/trunk/kernel/arch/ia32/include/pm.h
32,8 → 32,8
/** @file
*/
#ifndef __PM_H__
#define __PM_H__
#ifndef KERN_ia32_PM_H_
#define KERN_ia32_PM_H_
#define IDT_ITEMS 64
#define GDT_ITEMS 7
180,4 → 180,3
/** @}
*/

/trunk/kernel/arch/ia32/include/boot/memmap.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_MEMMAP_H__
#define __ia32_MEMMAP_H__
#ifndef KERN_ia32_MEMMAP_H_
#define KERN_ia32_MEMMAP_H_
/* E820h memory range types - other values*/
/* Free memory */
75,4 → 75,3
/** @}
*/

/trunk/kernel/arch/ia32/include/boot/boot.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_BOOT_H__
#define __ia32_BOOT_H__
#ifndef KERN_ia32_BOOT_H_
#define KERN_ia32_BOOT_H_
#define BOOT_OFFSET 0x108000
#define AP_BOOT_OFFSET 0x8000
48,4 → 48,3
/** @}
*/

/trunk/kernel/arch/ia32/include/asm.h
33,8 → 33,8
/** @file
*/
#ifndef __ia32_ASM_H__
#define __ia32_ASM_H__
#ifndef KERN_ia32_ASM_H_
#define KERN_ia32_ASM_H_
#include <arch/pm.h>
#include <arch/types.h>
298,4 → 298,3
/** @}
*/

/trunk/kernel/arch/ia32/include/faddr.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_FADDR_H__
#define __ia32_FADDR_H__
#ifndef KERN_ia32_FADDR_H_
#define KERN_ia32_FADDR_H_
#include <arch/types.h>
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ia32/include/mm/frame.h
32,13 → 32,12
/** @file
*/
#ifndef __ia32_FRAME_H__
#define __ia32_FRAME_H__
#ifndef KERN_ia32_FRAME_H_
#define KERN_ia32_FRAME_H_
#define FRAME_WIDTH 12 /* 4K */
#define FRAME_SIZE (1<<FRAME_WIDTH)
#ifdef KERNEL
#ifndef __ASM__
55,4 → 54,3
/** @}
*/

/trunk/kernel/arch/ia32/include/mm/memory_init.h
33,8 → 33,8
* @ingroup ia32mm, am64mm
*/
#ifndef __ia32_MEMORY_INIT_H__
#define __ia32_MEMORY_INIT_H__
#ifndef KERN_ia32_MEMORY_INIT_H_
#define KERN_ia32_MEMORY_INIT_H_
#include <typedefs.h>
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ia32/include/mm/page.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_PAGE_H__
#define __ia32_PAGE_H__
#ifndef KERN_ia32_PAGE_H_
#define KERN_ia32_PAGE_H_
#include <arch/mm/frame.h>
170,4 → 170,3
/** @}
*/

/trunk/kernel/arch/ia32/include/mm/asid.h
39,8 → 39,8
* interface.
*/
#ifndef __ia32_ASID_H__
#define __ia32_ASID_H__
#ifndef KERN_ia32_ASID_H_
#define KERN_ia32_ASID_H_
typedef int asid_t;
53,4 → 53,3
/** @}
*/

/trunk/kernel/arch/ia32/include/mm/tlb.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_TLB_H__
#define __ia32_TLB_H__
#ifndef KERN_ia32_TLB_H_
#define KERN_ia32_TLB_H_
#define tlb_arch_init()
#define tlb_print()
42,4 → 42,3
/** @}
*/

/trunk/kernel/arch/ia32/include/mm/as.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_AS_H__
#define __ia32_AS_H__
#ifndef KERN_ia32_AS_H_
#define KERN_ia32_AS_H_
#define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH 0
52,4 → 52,3
/** @}
*/

/trunk/kernel/arch/ia32/include/context.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_CONTEXT_H__
#define __ia32_CONTEXT_H__
#ifndef KERN_ia32_CONTEXT_H_
#define KERN_ia32_CONTEXT_H_
#include <arch/types.h>
65,4 → 65,3
/** @}
*/

/trunk/kernel/arch/ia32/include/debug.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_DEBUG_H__
#define __ia32_DEBUG_H__
#ifndef KERN_ia32_DEBUG_H_
#define KERN_ia32_DEBUG_H_
#include <arch/asm.h>
43,4 → 43,3
/** @}
*/

/trunk/kernel/arch/ia32/include/barrier.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_BARRIER_H__
#define __ia32_BARRIER_H__
#ifndef KERN_ia32_BARRIER_H_
#define KERN_ia32_BARRIER_H_
/*
* NOTE:
88,4 → 88,3
/** @}
*/

/trunk/kernel/arch/ia32/include/cpu.h
32,8 → 32,8
/** @file
*/
#ifndef __ia32_CPU_H__
#define __ia32_CPU_H__
#ifndef KERN_ia32_CPU_H_
#define KERN_ia32_CPU_H_
#include <typedefs.h>
#include <arch/pm.h>

/trunk/kernel/arch/ia32/include/drivers/i8254.h
32,8 → 32,8
/** @file
*/
#ifndef __I8254_H__
#define __I8254_H__
#ifndef KERN_ia32_I8254_H_
#define KERN_ia32_I8254_H_
#include <arch/types.h>
45,4 → 45,3
/** @}
*/

/trunk/kernel/arch/ia32/include/drivers/ega.h
32,8 → 32,8
/** @file
*/
#ifndef __EGA_H__
#define __EGA_H__
#ifndef KERN_ia32_EGA_H_
#define KERN_ia32_EGA_H_
#define VIDEORAM 0xb8000
#define ROW 80
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ia32/include/drivers/vesa.h
32,8 → 32,8
/** @file
*/
#ifndef __VESA_H__
#define __VESA_H__
#ifndef KERN_ia32_VESA_H_
#define KERN_ia32_VESA_H_
extern int vesa_present(void);
extern void vesa_init(void);
42,4 → 42,3
/** @}
*/

/trunk/kernel/arch/ia32/include/drivers/i8259.h
32,8 → 32,8
/** @file
*/
#ifndef __I8259_H__
#define __I8259_H__
#ifndef KERN_ia32_I8259_H_
#define KERN_ia32_I8259_H_
#include <arch/types.h>
#include <arch/interrupt.h>
55,4 → 55,3
/** @}
*/

/trunk/kernel/arch/ia32/include/drivers/i8042.h
36,8 → 36,8
* This file implements ia32 specific access to i8042 registers.
*/
#ifndef __ia32_I8042_H__
#define __ia32_I8042_H__
#ifndef KERN_ia32_I8042_H_
#define KERN_ia32_I8042_H_
#include <arch/asm.h>
#include <arch/types.h>
69,4 → 69,3
/** @}
*/

/trunk/kernel/arch/ia32/src/ia32.c
157,4 → 157,3
/** @}
*/

/trunk/kernel/arch/ia32/src/bios/bios.c
45,4 → 45,3
/** @}
*/

/trunk/kernel/arch/ia32/src/pm.c
238,4 → 238,3
/** @}
*/

/trunk/kernel/arch/ia32/src/smp/mps.c
432,4 → 432,3
/** @}
*/

/trunk/kernel/arch/ia32/src/smp/smp.c
182,4 → 182,3
/** @}
*/

/trunk/kernel/arch/ia32/src/smp/ipi.c
46,4 → 46,3
/** @}
*/

/trunk/kernel/arch/ia32/src/smp/apic.c
579,4 → 579,3
/** @}
*/

/trunk/kernel/arch/ia32/src/proc/thread.c
45,4 → 45,3
/** @}
*/

/trunk/kernel/arch/ia32/src/mm/tlb.c
69,4 → 69,3
/** @}
*/

/trunk/kernel/arch/ia32/src/mm/as.c
44,4 → 44,3
/** @}
*/

/trunk/kernel/arch/ia32/src/mm/frame.c
145,4 → 145,3
/** @}
*/

/trunk/kernel/arch/ia32/src/mm/memory_init.c
75,7 → 75,5
}
/** @}
*/

/trunk/kernel/arch/ia32/src/mm/page.c
119,4 → 119,3
/** @}
*/

/trunk/kernel/arch/ia32/src/userspace.c
85,4 → 85,3
/** @}
*/

/trunk/uspace/fb/fb.c
33,10 → 33,10
* @ingroup fbs
* @{
*/
/** @file
*/
#include <stdlib.h>
#include <unistd.h>
#include <string.h>
1253,7 → 1253,6
return 0;
}
/**
* @}
*/

/trunk/uspace/libc/arch/sparc64/include/atomic.h
49,20 → 49,15
static inline long atomic_add(atomic_t *val, int i)
{
uint64_t a, b;
volatile uint64_t x = (uint64_t) &val->count;
__asm__ volatile (
"0:\n"
"ldx %0, %1\n"
"add %1, %3, %2\n"
"casx %0, %1, %2\n"
"cmp %1, %2\n"
"bne 0b\n" /* The operation failed and must be attempted again if a != b. */
"nop\n"
: "=m" (*((uint64_t *)x)), "=r" (a), "=r" (b)
: "r" (i)
);
do {
volatile uintptr_t x = (uint64_t) &val->count;
a = *((uint64_t *) x);
b = a + i;
__asm__ volatile ("casx %0, %1, %2\n": "+m" (*((uint64_t *)x)), "+r" (a), "+r" (b));
} while (a != b);
return a;
}