Symbol: ds1585_reboot
sys/arch/prep/pnpbus/mcclock_pnpbus.c
76
void ds1585_reboot(void);
sys/arch/prep/prep/platform.c
111
ds1585_reboot();
sys/arch/prep/prep/platform.c
58
extern void ds1585_reboot(void);