Rev 727 | Rev 740 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 727 | Rev 730 | ||
---|---|---|---|
Line 32... | Line 32... | ||
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 | /* |
36 | /* |
37 | * ASID_MAX can range from 2^18 - 1 to 2^24 - , |
37 | * ASID_MAX can range from 2^18 - 1 to 2^24 - 1, |
38 | * depending on architecture implementation. |
38 | * depending on architecture implementation. |
39 | */ |
39 | */ |
40 | #define ASID_MAX_ARCH 16777215 /* 2^24 - 1 */ |
40 | #define ASID_MAX_ARCH 16777215 /* 2^24 - 1 */ |
41 | 41 | ||
- | 42 | #define asid_find_free() ASID_MAX_ARCH |
|
- | 43 | #define asid_put_arch(x) |
|
- | 44 | ||
42 | #endif |
45 | #endif |