Rev 1 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1 | Rev 5 | ||
---|---|---|---|
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 | ||
32 | void tlb_invalidate(int asid) |
37 | void tlb_invalidate(int asid) |
33 | { |
38 | { |
34 | cpu_write_dba(cpu_read_dba()); |
39 | cpu_write_dba(cpu_read_dba()); |
35 | } |
40 | } |
- | 41 | ||
- | 42 | #ifdef __SMP__ |
|
- | 43 | void tlb_shutdown_ipi_send(void) |
|
- | 44 | { |
|
- | 45 | (void) l_apic_broadcast_custom_ipi(VECTOR_TLB_SHUTDOWN); |
|
- | 46 | } |
|
- | 47 | #endif /* __SMP__ */ |