Symbol: s3c2800_softreset
sys/arch/arm/s3c2xx0/s3c2800var.h
49
void s3c2800_softreset(void);
sys/arch/evbarm/smdk2xx0/smdk2800_machdep.c
256
cpu_reset_address_paddr = vtophys((u_int)s3c2800_softreset);