/kernel/trunk/arch/mips32/src/mm/as.c |
---|
35,7 → 35,7 |
/** Install address space. |
* |
* Install ASID and if necessary, purge TLB. |
* Install ASID. |
* |
* @param as Address space structure. |
*/ |
45,11 → 45,6 |
ipl_t ipl; |
/* |
* If necessary, purge TLB. |
*/ |
tlb_invalidate_asid(as->asid); /* TODO: do it only if necessary */ |
/* |
* Install ASID. |
*/ |
hi.value = cp0_entry_hi_read(); |