| /branches/sparc/kernel/arch/ia64/include/bootinfo.h |
|---|
| 33,13 → 33,6 |
| #define CONFIG_INIT_TASKS 32 |
| #define MEMMAP_ITEMS 128 |
| #define EFI_MEMMAP_FREE_MEM 0 |
| #define EFI_MEMMAP_IO 1 |
| #define EFI_MEMMAP_IO_PORTS 2 |
| typedef struct { |
| void *addr; |
| unsigned long size; |
| 50,24 → 43,14 |
| binit_task_t tasks[CONFIG_INIT_TASKS]; |
| } binit_t; |
| typedef struct { |
| unsigned int type; |
| unsigned long base; |
| unsigned long size; |
| }efi_memmap_item_t; |
| typedef struct { |
| binit_t taskmap; |
| efi_memmap_item_t memmap[MEMMAP_ITEMS]; |
| unsigned int memmap_items; |
| unsigned long * sapic; |
| unsigned long sys_freq; |
| unsigned long freq_scale; |
| unsigned int wakeup_intno; |
| int hello_configured; |
| } bootinfo_t; |
| /branches/sparc/kernel/arch/ia64/include/mm/page.h |
|---|
| 48,15 → 48,8 |
| #define IO_PAGE_WIDTH 26 /* 64M */ |
| #define FW_PAGE_WIDTH 28 /* 256M */ |
| #define USPACE_IO_PAGE_WIDTH 12 /* 4K */ |
| /** Staticly mapped IO spaces */ |
| /** Staticly mapped IO spaces - offsets to 0xe...00 of virtual adresses |
| becauce of "minimal virtual bits implemented is 51" |
| it is possible to have here values up to 0x0007000000000000 |
| */ |
| /* Firmware area (bellow 4GB in phys mem) */ |
| #define FW_OFFSET 0x00000000F0000000 |
| /* Legacy IO space */ |
| /branches/sparc/kernel/arch/ia64/include/mm/tlb.h |
|---|
| 46,8 → 46,8 |
| /** Data and instruction Translation Register indices. */ |
| #define DTR_KERNEL 0 |
| #define ITR_KERNEL 0 |
| #define DTR_KSTACK1 4 |
| #define DTR_KSTACK2 5 |
| #define DTR_KSTACK1 1 |
| #define DTR_KSTACK2 2 |
| /** Portion of TLB insertion format data structure. */ |
| union tlb_entry { |
| /branches/sparc/kernel/arch/ia64/include/cpu.h |
|---|
| 87,8 → 87,6 |
| static inline void ipi_send_ipi(int id,int eid,int intno) |
| { |
| (bootinfo->sapic)[2*(id*256+eid)]=intno; |
| srlz_d(); |
| } |
| /branches/sparc/kernel/arch/ia64/include/drivers/kbd.h |
|---|
| File deleted |
| /branches/sparc/kernel/arch/ia64/include/interrupt.h |
|---|
| 50,13 → 50,10 |
| #define IVT_FIRST 0 |
| /** External Interrupt vectors. */ |
| #define VECTOR_TLB_SHOOTDOWN_IPI 0xf0 |
| #define INTERRUPT_TIMER 255 |
| #define IRQ_KBD (0x01+LAGACY_INTERRUPT_BASE) |
| #define IRQ_MOUSE (0x0c+LAGACY_INTERRUPT_BASE) |
| #define IRQ_KBD 241 |
| #define IRQ_MOUSE 252 |
| #define INTERRUPT_SPURIOUS 15 |
| #define LAGACY_INTERRUPT_BASE 0x20 |
| /** General Exception codes. */ |
| #define GE_ILLEGALOP 0 |
| 153,7 → 150,6 |
| extern void external_interrupt(uint64_t vector, istate_t *istate); |
| extern void disabled_fp_register(uint64_t vector, istate_t *istate); |
| #endif |
| /** @} |
| /branches/sparc/kernel/arch/ia64/include/proc/task.h |
|---|
| 31,19 → 31,14 |
| */ |
| /** @file |
| */ |
| #include <proc/task.h> |
| #ifndef KERN_ia64_TASK_H_ |
| #define KERN_ia64_TASK_H_ |
| #include <adt/bitmap.h> |
| typedef struct { |
| bitmap_t *iomap; |
| } task_arch_t; |
| #define task_create_arch(t) {(t)->arch.iomap=NULL;} |
| #define task_create_arch(t) |
| #define task_destroy_arch(t) |
| #endif |