Rev 534 | Rev 730 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 534 | Rev 727 | ||
|---|---|---|---|
| Line 27... | Line 27... | ||
| 27 | */ |
27 | */ |
| 28 | 28 | ||
| 29 | #ifndef __ia64_ASID_H__ |
29 | #ifndef __ia64_ASID_H__ |
| 30 | #define __ia64_ASID_H__ |
30 | #define __ia64_ASID_H__ |
| 31 | 31 | ||
| 32 | typedef int asid_t; |
32 | #include <arch/types.h> |
| 33 | 33 | ||
| 34 | #define asid_get() 0 |
34 | typedef __u32 asid_t; |
| - | 35 | ||
| - | 36 | /* |
|
| - | 37 | * ASID_MAX can range from 2^18 - 1 to 2^24 - , |
|
| - | 38 | * depending on architecture implementation. |
|
| - | 39 | */ |
|
| - | 40 | #define ASID_MAX_ARCH 16777215 /* 2^24 - 1 */ |
|
| 35 | 41 | ||
| 36 | #endif |
42 | #endif |