Rev 2410 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2410 | Rev 2414 | ||
---|---|---|---|
Line 29... | Line 29... | ||
29 | /** @addtogroup arm32mm |
29 | /** @addtogroup arm32mm |
30 | * @{ |
30 | * @{ |
31 | */ |
31 | */ |
32 | /** @file |
32 | /** @file |
33 | * @brief ASIDs related declarations. |
33 | * @brief ASIDs related declarations. |
- | 34 | * |
|
- | 35 | * ARM CPUs doesn't support ASIDs. |
|
34 | */ |
36 | */ |
35 | 37 | ||
36 | #ifndef KERN_arm32_ASID_H_ |
38 | #ifndef KERN_arm32_ASID_H_ |
37 | #define KERN_arm32_ASID_H_ |
39 | #define KERN_arm32_ASID_H_ |
38 | 40 | ||
Line 41... | Line 43... | ||
41 | #define ASID_MAX_ARCH 3 /* minimal required number */ |
43 | #define ASID_MAX_ARCH 3 /* minimal required number */ |
42 | 44 | ||
43 | typedef uint8_t asid_t; |
45 | typedef uint8_t asid_t; |
44 | 46 | ||
45 | 47 | ||
46 | #define asid_get() ( ASID_START + 1 ) |
- | |
47 | /* 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 |
48 | throught "generic/include/mm/asid.h" where ASID_START is defined |
49 | through "generic/include/mm/asid.h" where ASID_START is defined |
49 | */ |
50 | */ |
- | 51 | #define asid_get() ( ASID_START + 1 ) |
|
- | 52 | ||
50 | #define asid_put(asid) |
53 | #define asid_put(asid) |
51 | 54 | ||
52 | #endif |
55 | #endif |
53 | 56 | ||
54 | /** @} |
57 | /** @} |