Rev 730 | Rev 878 | 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 */ |