1 2 3 4 5 6 7
#include <arch/io.h> void hard_reset(void) { /* Try rebooting through port 0xcf9 */ outb((0 <<3)|(1<<2)|(1<<1), 0xcf9); }