#include "system.h"

#include "../debug/output.h"
#include "cmos.h"
#include "ioport.h"

namespace System {

void reboot() {
  const IOPort system_control_port_a(0x92);
  DBG_VERBOSE << "rebooting smp" << endl;
  CMOS::write(CMOS::REG_STATUS_SHUTDOWN, 0);
  system_control_port_a.outb(0x3);
}

}  // namespace System