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 |