#pragma once

#include <common.h>

_noreturn
void reboot();