| /branches/dynload/kernel/arch/amd64/src/boot/boot.S |
|---|
| 1,4 → 1,4 |
| # |
| # Copyright (c) 2005 Ondrej Palkovsky |
| # Copyright (c) 2006 Martin Decky |
| # Copyright (c) 2008 Jakub Jermar |
| /branches/dynload/kernel/arch/amd64/src/interrupt.c |
|---|
| 150,11 → 150,13 |
| #endif |
| } |
| #ifdef CONFIG_SMP |
| static void tlb_shootdown_ipi(int n, istate_t *istate) |
| { |
| trap_virtual_eoi(); |
| tlb_shootdown_ipi_recv(); |
| } |
| #endif |
| /** Handler of IRQ exceptions */ |
| static void irq_interrupt(int n, istate_t *istate) |