Symbol: rk3288_reset
sys/dev/fdt/rkclock.c
294
void rk3288_reset(void *, uint32_t *, int);
sys/dev/fdt/rkclock.c
375
rk3288_reset