33,13 → 33,22 |
|
typedef __u32 asid_t; |
|
/* |
* ASID_MAX can range from 2^18 - 1 to 2^24 - 1, |
* depending on architecture implementation. |
/** Number of ia64 RIDs (Region Identifiers) per kernel ASID. */ |
#define RIDS_PER_ASID 7 |
#define RID_OVERFLOW 16777216 /* 2^24 */ |
|
/** |
* The point is to have ASID_MAX_ARCH big enough |
* so that it is never reached and the ASID allocation |
* mechanism in asid_get() never resorts to stealing. |
*/ |
#define ASID_MAX_ARCH 16777215 /* 2^24 - 1 */ |
#define ASID_MAX_ARCH ((asid_t) -1) /**< This value is never reached. */ |
|
#define asid_find_free() ASID_MAX_ARCH |
/** |
* Value used to recognize the situation when all ASIDs were already allocated. |
*/ |
#define ASID_OVERFLOW (RID_OVERFLOW/RIDS_PER_ASID) |
|
#define asid_put_arch(x) |
|
#endif |