| 54,25 → 54,12 |
|---|
| spinlock_lock(&tlblock); |
| |
| /* |
| * TODO: assemble shootdown message. |
| * TODO: wrap parameters into a message and |
| * dispatch it to all CPUs excluding this one. |
| */ |
| |
| tlb_shootdown_ipi_send(); |
| |
| switch (type) { |
| case TLB_INVL_ALL: |
| tlb_invalidate_all(); |
| break; |
| case TLB_INVL_ASID: |
| tlb_invalidate_asid(asid); |
| break; |
| case TLB_INVL_PAGES: |
| tlb_invalidate_pages(asid, page, cnt); |
| break; |
| default: |
| panic("unknown tlb_invalidate_type_t value: %d\n", type); |
| break; |
| } |
| |
| busy_wait: |
| for (i = 0; i<config.cpu_count; i++) |
| if (cpus[i].tlb_active) |
| 95,7 → 82,7 |
|---|
| CPU->tlb_active = 0; |
| spinlock_lock(&tlblock); |
| spinlock_unlock(&tlblock); |
| tlb_invalidate_all(); /* TODO: use valid ASID */ |
| tlb_invalidate_all(); /* TODO: be more finer-grained in what to invalidate */ |
| CPU->tlb_active = 1; |
| } |
| #endif /* CONFIG_SMP */ |