Rev 5 | Rev 7 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5 | Rev 6 | ||
---|---|---|---|
Line 38... | Line 38... | ||
38 | { |
38 | { |
39 | cpu_write_dba(cpu_read_dba()); |
39 | cpu_write_dba(cpu_read_dba()); |
40 | } |
40 | } |
41 | 41 | ||
42 | #ifdef __SMP__ |
42 | #ifdef __SMP__ |
43 | void tlb_shutdown_ipi_send(void) |
43 | void tlb_shootdown_ipi_send(void) |
44 | { |
44 | { |
45 | (void) l_apic_broadcast_custom_ipi(VECTOR_TLB_SHUTDOWN); |
45 | (void) l_apic_broadcast_custom_ipi(VECTOR_TLB_SHOOTDOWN); |
46 | } |
46 | } |
47 | #endif /* __SMP__ */ |
47 | #endif /* __SMP__ */ |