Rev 1544 | Rev 1594 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1544 | Rev 1587 | ||
|---|---|---|---|
| Line 145... | Line 145... | ||
| 145 | * it is safe not to lock its mutex. |
145 | * it is safe not to lock its mutex. |
| 146 | */ |
146 | */ |
| 147 | 147 | ||
| 148 | ipl = interrupts_disable(); |
148 | ipl = interrupts_disable(); |
| 149 | spinlock_lock(&inactive_as_with_asid_lock); |
149 | spinlock_lock(&inactive_as_with_asid_lock); |
| - | 150 | ||
| 150 | if (as->asid != ASID_INVALID && as->asid != ASID_KERNEL) { |
151 | if (as->asid != ASID_INVALID && as != AS_KERNEL) { |
| - | 152 | if (!as->cpu_refcount) |
|
| 151 | list_remove(&as->inactive_as_with_asid_link); |
153 | list_remove(&as->inactive_as_with_asid_link); |
| 152 | asid_put(as->asid); |
154 | asid_put(as->asid); |
| 153 | } |
155 | } |
| 154 | spinlock_unlock(&inactive_as_with_asid_lock); |
156 | spinlock_unlock(&inactive_as_with_asid_lock); |
| 155 | 157 | ||
| 156 | /* |
158 | /* |