Rev 727 | Rev 1008 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 727 | Rev 740 | ||
---|---|---|---|
Line 52... | Line 52... | ||
52 | 52 | ||
53 | CPU->tlb_active = 0; |
53 | CPU->tlb_active = 0; |
54 | spinlock_lock(&tlblock); |
54 | spinlock_lock(&tlblock); |
55 | 55 | ||
56 | /* |
56 | /* |
57 | * TODO: assemble shootdown message. |
57 | * TODO: wrap parameters into a message and |
- | 58 | * dispatch it to all CPUs excluding this one. |
|
58 | */ |
59 | */ |
- | 60 | ||
59 | tlb_shootdown_ipi_send(); |
61 | tlb_shootdown_ipi_send(); |
60 | 62 | ||
61 | switch (type) { |
- | |
62 | case TLB_INVL_ALL: |
- | |
63 | tlb_invalidate_all(); |
- | |
64 | break; |
- | |
65 | case TLB_INVL_ASID: |
- | |
66 | tlb_invalidate_asid(asid); |
- | |
67 | break; |
- | |
68 | case TLB_INVL_PAGES: |
- | |
69 | tlb_invalidate_pages(asid, page, cnt); |
- | |
70 | break; |
- | |
71 | default: |
- | |
72 | panic("unknown tlb_invalidate_type_t value: %d\n", type); |
- | |
73 | break; |
- | |
74 | } |
- | |
75 | - | ||
76 | busy_wait: |
63 | busy_wait: |
77 | for (i = 0; i<config.cpu_count; i++) |
64 | for (i = 0; i<config.cpu_count; i++) |
78 | if (cpus[i].tlb_active) |
65 | if (cpus[i].tlb_active) |
79 | goto busy_wait; |
66 | goto busy_wait; |
80 | } |
67 | } |
Line 93... | Line 80... | ||
93 | void tlb_shootdown_ipi_recv(void) |
80 | void tlb_shootdown_ipi_recv(void) |
94 | { |
81 | { |
95 | CPU->tlb_active = 0; |
82 | CPU->tlb_active = 0; |
96 | spinlock_lock(&tlblock); |
83 | spinlock_lock(&tlblock); |
97 | spinlock_unlock(&tlblock); |
84 | spinlock_unlock(&tlblock); |
98 | tlb_invalidate_all(); /* TODO: use valid ASID */ |
85 | tlb_invalidate_all(); /* TODO: be more finer-grained in what to invalidate */ |
99 | CPU->tlb_active = 1; |
86 | CPU->tlb_active = 1; |
100 | } |
87 | } |
101 | #endif /* CONFIG_SMP */ |
88 | #endif /* CONFIG_SMP */ |