/kernel/trunk/genarch/src/mm/asid.c |
---|
71,7 → 71,7 |
/** Allocate free address space identifier. |
* |
* Interrupts must be disabled and as_lock must be held |
* Interrupts must be disabled and inactive_as_with_asid_lock must be held |
* prior to this call |
* |
* @return New ASID. |