| /branches/network/kernel/arch/ia64/include/mm/frame.h |
|---|
| 26,7 → 26,7 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup ia64mm |
| /** @addtogroup ia64mm |
| * @{ |
| */ |
| /** @file |
| 35,12 → 35,16 |
| #ifndef KERN_ia64_FRAME_H_ |
| #define KERN_ia64_FRAME_H_ |
| #define FRAME_WIDTH 14 /* 16K */ |
| #define FRAME_SIZE (1 << FRAME_WIDTH) |
| #define FRAME_WIDTH 14 /* 16K */ |
| #define FRAME_SIZE (1 << FRAME_WIDTH) |
| #ifdef KERNEL |
| #ifndef __ASM__ |
| #include <arch/types.h> |
| extern uintptr_t last_frame; |
| extern void frame_arch_init(void); |
| #define physmem_print() |
| /branches/network/kernel/arch/ia64/include/mm/page.h |
|---|
| 46,8 → 46,25 |
| /** Bit width of the TLB-locked portion of kernel address space. */ |
| #define KERNEL_PAGE_WIDTH 28 /* 256M */ |
| #define IO_PAGE_WIDTH 26 /* 64M */ |
| #define FW_PAGE_WIDTH 28 /* 256M */ |
| #define USPACE_IO_PAGE_WIDTH 12 /* 4K */ |
| /* |
| * Statically mapped IO spaces - offsets to 0xe...00 of virtual addresses |
| * because of "minimal virtual bits implemented is 51" it is possible to |
| * have values up to 0x0007000000000000 |
| */ |
| /* Firmware area (bellow 4GB in phys mem) */ |
| #define FW_OFFSET 0x00000000F0000000 |
| /* Legacy IO space */ |
| #define IO_OFFSET 0x0001000000000000 |
| /* Videoram - now mapped to 0 as VGA text mode vram on 0xb8000 */ |
| #define VIO_OFFSET 0x0002000000000000 |
| #define PPN_SHIFT 12 |
| #define VRN_SHIFT 61 |
| 62,8 → 79,8 |
| #define REGION_REGISTERS 8 |
| #define KA2PA(x) ((uintptr_t) (x-(VRN_KERNEL<<VRN_SHIFT))) |
| #define PA2KA(x) ((uintptr_t) (x+(VRN_KERNEL<<VRN_SHIFT))) |
| #define KA2PA(x) ((uintptr_t) (x - (VRN_KERNEL << VRN_SHIFT))) |
| #define PA2KA(x) ((uintptr_t) (x + (VRN_KERNEL << VRN_SHIFT))) |
| #define VHPT_WIDTH 20 /* 1M */ |
| #define VHPT_SIZE (1 << VHPT_WIDTH) |
| /branches/network/kernel/arch/ia64/include/mm/tlb.h |
|---|
| 35,9 → 35,6 |
| #ifndef KERN_ia64_TLB_H_ |
| #define KERN_ia64_TLB_H_ |
| #define tlb_arch_init() |
| #define tlb_print() |
| #include <arch/mm/page.h> |
| #include <arch/mm/asid.h> |
| #include <arch/interrupt.h> |
| 46,8 → 43,8 |
| /** Data and instruction Translation Register indices. */ |
| #define DTR_KERNEL 0 |
| #define ITR_KERNEL 0 |
| #define DTR_KSTACK1 1 |
| #define DTR_KSTACK2 2 |
| #define DTR_KSTACK1 4 |
| #define DTR_KSTACK2 5 |
| /** Portion of TLB insertion format data structure. */ |
| union tlb_entry { |
| /branches/network/kernel/arch/ia64/include/mm/vhpt.h |
|---|
| 44,8 → 44,8 |
| { |
| vhpt_entry_t ventry; |
| ventry.word[0]=tentry.word[0]; |
| ventry.word[1]=tentry.word[1]; |
| ventry.word[0] = tentry.word[0]; |
| ventry.word[1] = tentry.word[1]; |
| return ventry; |
| } |