Rev 730 | Rev 869 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 730 | Rev 823 | ||
|---|---|---|---|
| Line 43... | Line 43... | ||
| 43 | #define ASID_MAX ASID_MAX_ARCH |
43 | #define ASID_MAX ASID_MAX_ARCH |
| 44 | 44 | ||
| 45 | #define ASIDS_ALLOCABLE ((ASID_MAX+1)-ASID_START) |
45 | #define ASIDS_ALLOCABLE ((ASID_MAX+1)-ASID_START) |
| 46 | 46 | ||
| 47 | extern spinlock_t asidlock; |
47 | extern spinlock_t asidlock; |
| 48 | extern link_t as_with_asid_head; |
- | |
| 49 | 48 | ||
| - | 49 | #ifndef asid_get |
|
| 50 | extern asid_t asid_get(void); |
50 | extern asid_t asid_get(void); |
| - | 51 | #endif /* !def asid_get */ |
|
| 51 | extern void asid_put(asid_t asid); |
52 | extern void asid_put(asid_t asid); |
| 52 | 53 | ||
| 53 | #ifndef asid_install |
54 | #ifndef asid_install |
| 54 | extern void asid_install(as_t *as); |
55 | extern void asid_install(as_t *as); |
| 55 | #endif /* !def asid_install */ |
56 | #endif /* !def asid_install */ |