Rev 1021 | Rev 1051 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1021 | Rev 1050 | ||
|---|---|---|---|
| Line 97... | Line 97... | ||
| 97 | extern void tlb_shootdown_ipi(int n, istate_t *istate); |
97 | extern void tlb_shootdown_ipi(int n, istate_t *istate); |
| 98 | 98 | ||
| 99 | extern void trap_virtual_enable_irqs(__u16 irqmask); |
99 | extern void trap_virtual_enable_irqs(__u16 irqmask); |
| 100 | extern void trap_virtual_disable_irqs(__u16 irqmask); |
100 | extern void trap_virtual_disable_irqs(__u16 irqmask); |
| 101 | extern void trap_virtual_eoi(void); |
101 | extern void trap_virtual_eoi(void); |
| - | 102 | /* AMD64 - specific page handler */ |
|
| - | 103 | extern void ident_page_fault(int n, istate_t *istate); |
|
| 102 | 104 | ||
| 103 | #endif |
105 | #endif |