| /trunk/kernel/arch/amd64/src/pm.c |
|---|
| 33,6 → 33,7 |
| /** @file |
| */ |
| #include <arch.h> |
| #include <arch/pm.h> |
| #include <arch/asm.h> |
| #include <mm/as.h> |
| 227,5 → 228,23 |
| tr_load(gdtselector(TSS_DES)); |
| } |
| /* 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); |
| idtr_load(&idtr); |
| interrupts_restore(ipl); |
| asm volatile ( |
| "int $0x03\n" |
| "hlt\n" |
| ); |
| } |
| /** @} |
| */ |