#ifndef REBOOT_H
#define REBOOT_H

void machine_real_restart();


#endif