/trunk/kernel/generic/include/mm/asid.h |
---|
58,7 → 58,7 |
#define ASIDS_ALLOCABLE ((ASID_MAX + 1) - ASID_START) |
extern spinlock_t asidlock; |
SPINLOCK_EXTERN(asidlock); |
extern link_t as_with_asid_head; |
#ifndef asid_get |
/trunk/kernel/generic/include/mm/as.h |
---|
139,7 → 139,7 |
extern as_t *AS_KERNEL; |
extern as_operations_t *as_operations; |
extern spinlock_t inactive_as_with_asid_lock; |
SPINLOCK_EXTERN(inactive_as_with_asid_lock); |
extern link_t inactive_as_with_asid_head; |
extern void as_init(void); |