Rev 6 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 6 | Rev 7 | ||
---|---|---|---|
Line 27... | Line 27... | ||
27 | */ |
27 | */ |
28 | 28 | ||
29 | #include <mm/tlb.h> |
29 | #include <mm/tlb.h> |
30 | #include <arch/asm.h> |
30 | #include <arch/asm.h> |
31 | 31 | ||
32 | #ifdef __SMP__ |
- | |
33 | #include <arch/apic.h> |
- | |
34 | #include <arch/interrupt.h> |
- | |
35 | #endif /* __SMP__ */ |
- | |
36 | - | ||
37 | void tlb_invalidate(int asid) |
32 | void tlb_invalidate(int asid) |
38 | { |
33 | { |
39 | cpu_write_dba(cpu_read_dba()); |
34 | cpu_write_dba(cpu_read_dba()); |
40 | } |
35 | } |
41 | - | ||
42 | #ifdef __SMP__ |
- | |
43 | void tlb_shootdown_ipi_send(void) |
- | |
44 | { |
- | |
45 | (void) l_apic_broadcast_custom_ipi(VECTOR_TLB_SHOOTDOWN); |
- | |
46 | } |
- | |
47 | #endif /* __SMP__ */ |
- |