Rev 31 | Rev 111 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 31 | Rev 32 | ||
---|---|---|---|
Line 52... | Line 52... | ||
52 | spinlock_lock(&tlblock); |
52 | spinlock_lock(&tlblock); |
53 | tlb_shootdown_ipi_send(); |
53 | tlb_shootdown_ipi_send(); |
54 | tlb_invalidate(0); /* TODO: use valid ASID */ |
54 | tlb_invalidate(0); /* TODO: use valid ASID */ |
55 | 55 | ||
56 | busy_wait: |
56 | busy_wait: |
57 | for (i = 0; i<config.cpu_active; i++) |
57 | for (i = 0; i<config.cpu_count; i++) |
58 | if (cpus[i].tlb_active) |
58 | if (cpus[i].tlb_active) |
59 | goto busy_wait; |
59 | goto busy_wait; |
60 | } |
60 | } |
61 | 61 | ||
62 | void tlb_shootdown_finalize(void) |
62 | void tlb_shootdown_finalize(void) |