Rev 2414 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2414 | Rev 2464 | ||
---|---|---|---|
Line 42... | Line 42... | ||
42 | 42 | ||
43 | #define ASID_MAX_ARCH 3 /* minimal required number */ |
43 | #define ASID_MAX_ARCH 3 /* minimal required number */ |
44 | 44 | ||
45 | typedef uint8_t asid_t; |
45 | typedef uint8_t asid_t; |
46 | 46 | ||
47 | 47 | /* |
|
48 | /* this works due to fact that this file is never included alone but only |
48 | * This works due to fact that this file is never included alone but only |
49 | through "generic/include/mm/asid.h" where ASID_START is defined |
49 | * through "generic/include/mm/asid.h" where ASID_START is defined. |
50 | */ |
50 | */ |
51 | #define asid_get() ( ASID_START + 1 ) |
51 | #define asid_get() (ASID_START + 1) |
52 | 52 | ||
53 | #define asid_put(asid) |
53 | #define asid_put(asid) |
54 | 54 | ||
55 | #endif |
55 | #endif |
56 | 56 |