Symbol: s3c2410_softreset
sys/arch/arm/s3c2xx0/s3c2410var.h
40
void s3c2410_softreset(void);
sys/arch/evbarm/smdk2xx0/smdk2410_machdep.c
263
cpu_reset_address_paddr = vtophys((u_int)s3c2410_softreset);