/kernel/trunk/arch/ia64/include/mm/asid.h |
---|
34,9 → 34,12 |
typedef __u32 asid_t; |
/* |
* ASID_MAX can range from 2^18 - 1 to 2^24 - , |
* ASID_MAX can range from 2^18 - 1 to 2^24 - 1, |
* depending on architecture implementation. |
*/ |
#define ASID_MAX_ARCH 16777215 /* 2^24 - 1 */ |
#define asid_find_free() ASID_MAX_ARCH |
#define asid_put_arch(x) |
#endif |