/trunk/kernel/arch/ppc32/_link.ld.in |
---|
9,7 → 9,6 |
* |
*/ |
#define __ASM__ |
#include <arch/boot/boot.h> |
#include <arch/mm/page.h> |
/trunk/kernel/arch/ppc32/include/exception.h |
---|
36,9 → 36,8 |
#define KERN_ppc32_EXCEPTION_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
struct istate { |
typedef struct { |
uint32_t r0; |
uint32_t r2; |
uint32_t r3; |
77,7 → 76,7 |
uint32_t xer; |
uint32_t r12; |
uint32_t sp; |
}; |
} istate_t; |
static inline void istate_set_retaddr(istate_t *istate, uintptr_t retaddr) |
{ |
/trunk/kernel/arch/ppc32/include/types.h |
---|
36,6 → 36,8 |
#define KERN_ppc32_TYPES_H_ |
#define NULL 0 |
#define false 0 |
#define true 1 |
typedef signed char int8_t; |
typedef signed short int16_t; |
47,6 → 49,10 |
typedef unsigned int uint32_t; |
typedef unsigned long long uint64_t; |
typedef uint32_t size_t; |
typedef uint32_t count_t; |
typedef uint32_t index_t; |
typedef uint32_t uintptr_t; |
typedef uint32_t pfn_t; |
53,7 → 59,15 |
typedef uint32_t ipl_t; |
typedef uint32_t unative_t; |
typedef int32_t native_t; |
typedef uint8_t bool; |
typedef uint64_t task_id_t; |
typedef uint32_t context_id_t; |
typedef int32_t inr_t; |
typedef int32_t devno_t; |
/** Page Table Entry. */ |
typedef struct { |
unsigned p : 1; /**< Present bit. */ |
/trunk/kernel/arch/ppc32/include/mm/memory_init.h |
---|
35,8 → 35,6 |
#ifndef KERN_ppc32_MEMORY_INIT_H_ |
#define KERN_ppc32_MEMORY_INIT_H_ |
#include <typedefs.h> |
size_t get_memory_size(void); |
void memory_print_map(void); |
/trunk/kernel/arch/ppc32/include/mm/page.h |
---|
104,9 → 104,8 |
#ifndef __ASM__ |
#include <mm/page.h> |
#include <arch/mm/frame.h> |
#include <arch/types.h> |
#include <mm/mm.h> |
#include <arch/interrupt.h> |
static inline int get_pt_flags(pte_t *pt, index_t i) |
{ |
/trunk/kernel/arch/ppc32/include/mm/tlb.h |
---|
35,6 → 35,8 |
#ifndef KERN_ppc32_TLB_H_ |
#define KERN_ppc32_TLB_H_ |
#include <arch/interrupt.h> |
typedef struct { |
unsigned v : 1; /**< Valid */ |
unsigned vsid : 24; /**< Virtual Segment ID */ |
/trunk/kernel/arch/ppc32/include/mm/as.h |
---|
42,11 → 42,13 |
#define USER_ADDRESS_SPACE_START_ARCH ((unsigned long) 0x00000000) |
#define USER_ADDRESS_SPACE_END_ARCH ((unsigned long) 0x7fffffff) |
#define USTACK_ADDRESS_ARCH (0x7fffffff-(PAGE_SIZE-1)) |
#define USTACK_ADDRESS_ARCH (0x7fffffff - (PAGE_SIZE - 1)) |
typedef struct { |
} as_arch_t; |
#include <genarch/mm/as_pt.h> |
#define as_constructor_arch(as, flags) (as != as) |
#define as_destructor_arch(as) (as != as) |
#define as_create_arch(as, flags) (as != as) |
/trunk/kernel/arch/ppc32/include/cpu.h |
---|
35,7 → 35,7 |
#ifndef KERN_ppc32_CPU_H_ |
#define KERN_ppc32_CPU_H_ |
#include <typedefs.h> |
#include <arch/asm.h> |
typedef struct { |
int version; |
/trunk/kernel/arch/ppc32/include/drivers/pic.h |
---|
35,6 → 35,8 |
#ifndef KERN_ppc32_PIC_H_ |
#define KERN_ppc32_PIC_H_ |
#include <arch/types.h> |
#define PIC_PENDING_LOW 8 |
#define PIC_PENDING_HIGH 4 |
#define PIC_MASK_LOW 9 |
/trunk/kernel/arch/ppc32/include/drivers/cuda.h |
---|
36,7 → 36,6 |
#define KERN_ppc32_CUDA_H_ |
#include <arch/types.h> |
#include <typedefs.h> |
extern void cuda_init(devno_t devno, uintptr_t base, size_t size); |
extern int cuda_get_scancode(void); |
/trunk/kernel/arch/ppc32/src/ddi/ddi.c |
---|
35,7 → 35,6 |
#include <ddi/ddi.h> |
#include <proc/task.h> |
#include <arch/types.h> |
#include <typedefs.h> |
/** Enable I/O space range for task. |
* |
/trunk/kernel/arch/ppc32/src/cpu/cpu.c |
---|
35,10 → 35,7 |
#include <arch/cpu.h> |
#include <arch/cpuid.h> |
#include <cpu.h> |
#include <arch.h> |
#include <typedefs.h> |
#include <print.h> |
void cpu_arch_init(void) |
/trunk/kernel/arch/ppc32/src/ppc32.c |
---|
32,6 → 32,7 |
/** @file |
*/ |
#include <config.h> |
#include <arch.h> |
#include <arch/boot/boot.h> |
#include <arch/drivers/cuda.h> |
/trunk/kernel/arch/ppc32/src/mm/memory_init.c |
---|
34,7 → 34,6 |
#include <arch/boot/boot.h> |
#include <arch/mm/memory_init.h> |
#include <typedefs.h> |
#include <print.h> |
/trunk/kernel/arch/ppc32/src/drivers/pic.c |
---|
33,8 → 33,8 |
*/ |
#include <arch/asm.h> |
#include <arch/drivers/pic.h> |
#include <mm/page.h> |
#include <byteorder.h> |
#include <bitops.h> |
/trunk/kernel/arch/ppc32/src/drivers/cuda.c |
---|
33,7 → 33,7 |
*/ |
#include <arch/drivers/cuda.h> |
#include <ddi/irq.h> |
#include <ipc/irq.h> |
#include <arch/asm.h> |
#include <console/console.h> |
#include <console/chardev.h> |