Rev 703 | Rev 756 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 703 | Rev 727 | ||
|---|---|---|---|
| Line 33... | Line 33... | ||
| 33 | #include <arch/cp0.h> |
33 | #include <arch/cp0.h> |
| 34 | #include <arch.h> |
34 | #include <arch.h> |
| 35 | 35 | ||
| 36 | /** Install address space. |
36 | /** Install address space. |
| 37 | * |
37 | * |
| 38 | * Install ASID and if necessary, purge TLB. |
38 | * Install ASID. |
| 39 | * |
39 | * |
| 40 | * @param as Address space structure. |
40 | * @param as Address space structure. |
| 41 | */ |
41 | */ |
| 42 | void as_install_arch(as_t *as) |
42 | void as_install_arch(as_t *as) |
| 43 | { |
43 | { |
| 44 | entry_hi_t hi; |
44 | entry_hi_t hi; |
| 45 | ipl_t ipl; |
45 | ipl_t ipl; |
| 46 | 46 | ||
| 47 | /* |
47 | /* |
| 48 | * If necessary, purge TLB. |
- | |
| 49 | */ |
- | |
| 50 | tlb_invalidate_asid(as->asid); /* TODO: do it only if necessary */ |
- | |
| 51 | - | ||
| 52 | /* |
- | |
| 53 | * Install ASID. |
48 | * Install ASID. |
| 54 | */ |
49 | */ |
| 55 | hi.value = cp0_entry_hi_read(); |
50 | hi.value = cp0_entry_hi_read(); |
| 56 | 51 | ||
| 57 | ipl = interrupts_disable(); |
52 | ipl = interrupts_disable(); |