| /trunk/kernel/arch/ia64/include/asm.h |
|---|
| 40,11 → 40,12 |
| #include <arch/register.h> |
| #define IA64_IOSPACE_ADDRESS 0xE0000FFFFC000000ULL |
| #define IA64_IOSPACE_ADDRESS 0xE001000000000000ULL |
| static inline void outb(uint64_t port,uint8_t v) |
| { |
| *((char *)(IA64_IOSPACE_ADDRESS + ( (port & 0xfff) | ( (port >> 2) << 12 )))) = v; |
| asm volatile ("mf\n" ::: "memory"); |
| } |
| 52,6 → 53,7 |
| static inline uint8_t inb(uint64_t port) |
| { |
| asm volatile ("mf\n" ::: "memory"); |
| return *((char *)(IA64_IOSPACE_ADDRESS + ( (port & 0xfff) | ( (port >> 2) << 12 )))); |
| } |
| /trunk/kernel/arch/ia64/include/mm/page.h |
|---|
| 47,7 → 47,9 |
| /** Bit width of the TLB-locked portion of kernel address space. */ |
| #define KERNEL_PAGE_WIDTH 28 /* 256M */ |
| #define IO_PAGE_WIDTH 26 /* 64M */ |
| #define PPN_SHIFT 12 |
| #define VRN_SHIFT 61 |
| /trunk/kernel/arch/ia64/include/drivers/ega.h |
|---|
| 36,7 → 36,7 |
| #ifndef KERN_ia64_EGA_H |
| #define KERN_ia64_EGA_H |
| #define VIDEORAM (0xE0000000000B8000LL) |
| #define VIDEORAM (0xe0020000000B8000LL) |
| #define ROW 80 |
| #define ROWS 25 |