backported fixes from 256boss
[bootcensus] / src / power.c
1 /*
2 pcboot - bootable PC demo/game kernel
3 Copyright (C) 2018-2019  John Tsiombikas <nuclear@member.fsf.org>
4
5 This program is free software: you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation, either version 3 of the License, or
8 (at your option) any later version.
9
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY, without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 GNU General Public License for more details.
14
15 You should have received a copy of the GNU General Public License
16 along with this program.  If not, see <https://www.gnu.org/licenses/>.
17 */
18 #include <stdio.h>
19 #include "power.h"
20 #include "keyb.h"
21 #include "kbregs.h"
22 #include "timer.h"
23 #include "panic.h"
24 #include "asmops.h"
25
26 /* defined in intr_asm.S */
27 void set_idt(uint32_t addr, uint16_t limit);
28
29 void reboot(void)
30 {
31         int i;
32
33         printf("reboot: keyboard controller\n");
34         kb_send_cmd(KB_CMD_PULSE_RESET);
35
36         for(i=0; i<32768; i++) {
37                 iodelay();
38         }
39
40         printf("reboot: triple-fault\n");
41         set_idt(0, 0);
42         asm volatile("int $3");
43
44         panic("can't reboot!");
45 }