Rev 730 | Rev 741 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 730 | Rev 740 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | 31 | ||
32 | #include <arch/types.h> |
32 | #include <arch/types.h> |
33 | 33 | ||
34 | typedef __u32 asid_t; |
34 | typedef __u32 asid_t; |
35 | 35 | ||
- | 36 | /** Number of ia64 RIDs (Region Identifiers) per kernel ASID. */ |
|
- | 37 | #define RIDS_PER_ASID 7 |
|
- | 38 | #define RID_OVERFLOW 16777216 /* 2^24 */ |
|
- | 39 | ||
36 | /* |
40 | /** |
- | 41 | * The point is to have ASID_MAX_ARCH big enough |
|
37 | * ASID_MAX can range from 2^18 - 1 to 2^24 - 1, |
42 | * so that it is never reached and the ASID allocation |
38 | * depending on architecture implementation. |
43 | * mechanism in asid_get() never resorts to stealing. |
- | 44 | */ |
|
- | 45 | #define ASID_MAX_ARCH ((asid_t) -1) /**< This value is never reached. */ |
|
- | 46 | ||
- | 47 | /** |
|
- | 48 | * Value used to recognize the situation when all ASIDs were already allocated. |
|
39 | */ |
49 | */ |
40 | #define ASID_MAX_ARCH 16777215 /* 2^24 - 1 */ |
50 | #define ASID_OVERFLOW (RID_OVERFLOW/RIDS_PER_ASID) |
41 | 51 | ||
42 | #define asid_find_free() ASID_MAX_ARCH |
- | |
43 | #define asid_put_arch(x) |
52 | #define asid_put_arch(x) |
44 | 53 | ||
45 | #endif |
54 | #endif |