Symbol: s3c2440_softreset
sys/arch/arm/s3c2xx0/s3c2440var.h
69
void s3c2440_softreset(void);
sys/arch/evbarm/mini2440/mini2440_machdep.c
300
cpu_reset_address_paddr = vtophys((uintptr_t)s3c2440_softreset);