Rev 534 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 534 | Rev 623 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | #include <synch/spinlock.h> |
31 | #include <synch/spinlock.h> |
32 | #include <arch.h> |
32 | #include <arch.h> |
33 | #include <debug.h> |
33 | #include <debug.h> |
34 | #include <typedefs.h> |
34 | #include <typedefs.h> |
35 | 35 | ||
36 | static spinlock_t asid_usage_lock; |
36 | SPINLOCK_INITIALIZE(asid_usage_lock); |
37 | static count_t asid_usage[ASIDS]; /**< Usage tracking array for ASIDs */ |
37 | static count_t asid_usage[ASIDS]; /**< Usage tracking array for ASIDs */ |
38 | 38 | ||
39 | /** Get ASID |
39 | /** Get ASID |
40 | * |
40 | * |
41 | * Get the least used ASID. |
41 | * Get the least used ASID. |