| /trunk/kernel/arch/ia64/include/atomic.h |
|---|
| 51,6 → 51,20 |
| return v; |
| } |
| static inline uint64_t test_and_set(atomic_t *val) { |
| uint64_t v; |
| asm volatile ( |
| "movl %0=0x01;;\n" |
| "xchg8 %0=%1,%0;;\n" |
| : "=r" (v),"+m" (val->count) |
| ); |
| return v; |
| } |
| static inline void atomic_inc(atomic_t *val) { atomic_add(val, 1); } |
| static inline void atomic_dec(atomic_t *val) { atomic_add(val, -1); } |
| /trunk/kernel/arch/ia64/include/bootinfo.h |
|---|
| 29,8 → 29,8 |
| #ifndef KERN_ia64_BOOTINFO_H_ |
| #define KERN_ia64_BOOTINFO_H_ |
| #define BOOTINFO_ADDRESS 0x4401000 |
| #define CONFIG_INIT_TASKS 32 |
| typedef struct { |
| 46,6 → 46,10 |
| typedef struct { |
| binit_t taskmap; |
| unsigned long * sapic; |
| unsigned int wakeup_intno; |
| } bootinfo_t; |
| extern bootinfo_t *bootinfo; |
| /trunk/kernel/arch/ia64/include/mm/page.h |
|---|
| 46,8 → 46,20 |
| /** 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 */ |
| /** Staticly mapped IO spaces */ |
| /* 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 |
| /trunk/kernel/arch/ia64/include/cpu.h |
|---|
| 38,6 → 38,7 |
| #include <arch/types.h> |
| #include <arch/register.h> |
| #include <arch/asm.h> |
| #include <arch/bootinfo.h> |
| #define FAMILY_ITANIUM 0x7 |
| #define FAMILY_ITANIUM2 0x1f |
| 63,6 → 64,33 |
| return v; |
| } |
| #define CR64_ID_SHIFT 24 |
| #define CR64_ID_MASK 0xff000000 |
| #define CR64_EID_SHIFT 16 |
| #define CR64_EID_MASK 0xff0000 |
| static inline int ia64_get_cpu_id(void) |
| { |
| uint64_t cr64=cr64_read(); |
| return ((CR64_ID_MASK)&cr64)>>CR64_ID_SHIFT; |
| } |
| static inline int ia64_get_cpu_eid(void) |
| { |
| uint64_t cr64=cr64_read(); |
| return ((CR64_EID_MASK)&cr64)>>CR64_EID_SHIFT; |
| } |
| static inline void ipi_send_ipi(int id,int eid,int intno) |
| { |
| (bootinfo->sapic)[2*(id*256+eid)]=intno; |
| } |
| #endif |
| /** @} |