Symbol: rmixl_reset
sys/arch/evbmips/rmixl/machdep.c
1032
rmixl_reset();
sys/arch/evbmips/rmixl/machdep.c
212
static void __attribute__((__noreturn__)) rmixl_reset(void);