Symbol: usermode_reboot
sys/arch/usermode/dev/cpu.c
146
extern void usermode_reboot(void);
sys/arch/usermode/dev/cpu.c
178
usermode_reboot();
sys/arch/usermode/usermode/machdep.c
102
void usermode_reboot(void);