| /kernel/trunk/arch/ia64/include/mm/asid.h |
|---|
| 29,14 → 29,8 |
| #ifndef __ia64_ASID_H__ |
| #define __ia64_ASID_H__ |
| #include <arch/types.h> |
| typedef int asid_t; |
| typedef __u32 asid_t; |
| #define asid_get() 0 |
| /* |
| * ASID_MAX can range from 2^18 - 1 to 2^24 - , |
| * depending on architecture implementation. |
| */ |
| #define ASID_MAX_ARCH 16777215 /* 2^24 - 1 */ |
| #endif |
| /kernel/trunk/arch/ia64/Makefile.inc |
|---|
| 47,12 → 47,6 |
| CONFIG_PAGE_HT = y |
| ## Compile with support for address space identifiers. |
| # |
| CONFIG_ASID = y |
| ARCH_SOURCES = \ |
| arch/$(ARCH)/src/start.S \ |
| arch/$(ARCH)/src/asm.S \ |