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 92... | Line 92... | ||
| 92 | { |
92 | { |
| 93 | printf("syscall... "); |
93 | printf("syscall... "); |
| 94 | thread_sleep(1); |
94 | thread_sleep(1); |
| 95 | } |
95 | } |
| 96 | 96 | ||
| 97 | void tlb_shutdown_ipi(__u8 n, __u32 stack[]) |
97 | void tlb_shootdown_ipi(__u8 n, __u32 stack[]) |
| 98 | { |
98 | { |
| 99 | trap_virtual_eoi(); |
99 | trap_virtual_eoi(); |
| 100 | tlb_shutdown_ipi_recv(); |
100 | tlb_shootdown_ipi_recv(); |
| 101 | } |
101 | } |
| 102 | 102 | ||
| 103 | void trap_virtual_enable_irqs(__u16 irqmask) |
103 | void trap_virtual_enable_irqs(__u16 irqmask) |
| 104 | { |
104 | { |
| 105 | if (enable_irqs_function) |
105 | if (enable_irqs_function) |