Symbol: src_swreset
sys/arm/freescale/vybrid/vf_machdep.c
64
if (src_swreset() == 0)
sys/arm/freescale/vybrid/vf_src.h
30
int src_swreset(void);