Rev 1702 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1702 | Rev 1730 | ||
---|---|---|---|
Line 33... | Line 33... | ||
33 | */ |
33 | */ |
34 | 34 | ||
35 | #ifndef __ppc32_ASID_H__ |
35 | #ifndef __ppc32_ASID_H__ |
36 | #define __ppc32_ASID_H__ |
36 | #define __ppc32_ASID_H__ |
37 | 37 | ||
38 | typedef int asid_t; |
38 | #include <arch/types.h> |
39 | 39 | ||
40 | #define ASID_MAX_ARCH 3 |
40 | #define ASID_MAX_ARCH 4096 |
41 | 41 | ||
42 | #define asid_get() (ASID_START+1) |
- | |
43 | #define asid_put(asid) |
42 | typedef __u32 asid_t; |
44 | 43 | ||
45 | #endif |
44 | #endif |
46 | 45 | ||
47 | /** @} |
46 | /** @} |
48 | */ |
47 | */ |
49 | - |