Symbol: fdt_reset
sys/arch/evbarm/fdt/fdt_machdep.c
138
static void fdt_reset(void);
sys/arch/evbarm/fdt/fdt_machdep.c
336
cpu_reset_address = fdt_reset;