| /kernel/trunk/generic/include/mm/asid.h |
|---|
| 54,7 → 54,12 |
| extern void asid_install(as_t *as); |
| #endif /* !def asid_install */ |
| #define asid_find_free() ASID_START |
| #define asid_put_arch(x) |
| #ifndef asid_find_free |
| extern asid_t asid_find_free(void); |
| #endif /* !def asid_find_free */ |
| #ifndef asid_put_arch |
| extern void asid_put_arch(asid_t asid); |
| #endif /* !def asid_put_arch */ |
| #endif |