| 34,21 → 34,27 |
|---|
| #ifndef __ASID_H__ |
| #define __ASID_H__ |
| |
| #ifndef __ASM__ |
| |
| #include <arch/mm/asid.h> |
| #include <typedefs.h> |
| |
| #endif |
| |
| #define ASID_KERNEL 0 |
| #define ASID_INVALID 1 |
| #define ASID_START 2 |
| #define ASID_MAX ASID_MAX_ARCH |
| |
| #ifndef __ASM__ |
| |
| |
| #define ASIDS_ALLOCABLE ((ASID_MAX+1)-ASID_START) |
| |
| extern spinlock_t asidlock; |
| extern link_t as_with_asid_head; |
| |
| #ifndef asid_get |
| extern asid_t asid_get(void); |
| #endif /* !def asid_get */ |
| extern void asid_put(asid_t asid); |
| |
| #ifndef asid_install |
| 64,3 → 70,6 |
|---|
| #endif /* !def asid_put_arch */ |
| |
| #endif |
| |
| #endif |
| |