Rev 1636 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1636 | Rev 1637 | ||
|---|---|---|---|
| Line 69... | Line 69... | ||
| 69 | 69 | ||
| 70 | static count_t asids_allocated = 0; |
70 | static count_t asids_allocated = 0; |
| 71 | 71 | ||
| 72 | /** Allocate free address space identifier. |
72 | /** Allocate free address space identifier. |
| 73 | * |
73 | * |
| 74 | * Interrupts must be disabled and as_lock must be held |
74 | * Interrupts must be disabled and inactive_as_with_asid_lock must be held |
| 75 | * prior to this call |
75 | * prior to this call |
| 76 | * |
76 | * |
| 77 | * @return New ASID. |
77 | * @return New ASID. |
| 78 | */ |
78 | */ |
| 79 | asid_t asid_get(void) |
79 | asid_t asid_get(void) |