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> |
106,6 → 107,17 |
} |
|
/* |
* 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. |
*/ |
tlb_shootdown_finalize(); |