Rev 727 | Rev 823 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 727 | Rev 730 | ||
---|---|---|---|
Line 52... | Line 52... | ||
52 | 52 | ||
53 | #ifndef asid_install |
53 | #ifndef asid_install |
54 | extern void asid_install(as_t *as); |
54 | extern void asid_install(as_t *as); |
55 | #endif /* !def asid_install */ |
55 | #endif /* !def asid_install */ |
56 | 56 | ||
57 | #define asid_find_free() ASID_START |
57 | #ifndef asid_find_free |
- | 58 | extern asid_t asid_find_free(void); |
|
- | 59 | #endif /* !def asid_find_free */ |
|
- | 60 | ||
58 | #define asid_put_arch(x) |
61 | #ifndef asid_put_arch |
- | 62 | extern void asid_put_arch(asid_t asid); |
|
- | 63 | #endif /* !def asid_put_arch */ |
|
59 | 64 | ||
60 | #endif |
65 | #endif |