//kernel/trunk/arch/ia64/src/mm/tlb.c/tlb.c |
---|
88,8 → 88,17 |
void tlb_invalidate_asid(asid_t asid) |
{ |
/* TODO */ |
tlb_invalidate_all(); |
} |
void tlb_invalidate_pages(asid_t asid, __address page, count_t cnt) |
{ |
} |
/** Insert data into data translation cache. |
* |
* @param va Virtual page address. |