| /trunk/kernel/arch/ia32/src/pm.c |
|---|
| 121,7 → 121,7 |
| void idt_init(void) |
| { |
| idescriptor_t *d; |
| int i; |
| unsigned int i; |
| for (i = 0; i < IDT_ITEMS; i++) { |
| d = &idt[i]; |
| 230,5 → 230,27 |
| gdtr_load(&cpugdtr); |
| } |
| /* Reboot the machine by initiating |
| * a triple fault |
| */ |
| void arch_reboot(void) |
| { |
| preemption_disable(); |
| ipl_t ipl = interrupts_disable(); |
| memsetb((uintptr_t) idt, sizeof(idt), 0); |
| ptr_16_32_t idtr; |
| idtr.limit = sizeof(idt); |
| idtr.base = (uintptr_t) idt; |
| idtr_load(&idtr); |
| interrupts_restore(ipl); |
| asm volatile ( |
| "int $0x03\n" |
| "hlt\n" |
| ); |
| } |
| /** @} |
| */ |