Symbol: bare_reset
sys/powerpc/booke/platform_bare.c
51
static void bare_reset(platform_t);
sys/powerpc/booke/platform_bare.c
58
PLATFORMMETHOD(platform_reset, bare_reset),