| 49,6 → 49,7 |
|---|
| #include <arch/mm/asid.h> |
| #include <mm/asid.h> |
| #include <mm/as.h> |
| #include <genarch/mm/page_ht.h> |
| #include <mm/tlb.h> |
| #include <list.h> |
| #include <typedefs.h> |
| 104,6 → 105,17 |
|---|
| as->asid = next_asid++; |
| spinlock_unlock(&as->lock); |
| } |
| |
| /* |
| * The page hash table uses VHPT long format PTE's. |
| * Unfortunatelly, this format has no space to |
| * store as_t pointer, so it is necessary to |
| * invalidate the whole structure after all ASIDs |
| * have been reassigned. The information swept out |
| * from the page hash table can be later reconstructed |
| * from as_t structures on demand. |
| */ |
| ht_invalidate_all(); |
| |
| /* |
| * Finish TLB shootdown. |