Symbol: machine_reset
sys/arch/landisk/include/cpu.h
7
void machine_reset(void);
sys/arch/landisk/landisk/machdep.c
246
machine_reset();