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) |