Symbol: bootsync
sys/arch/arm/include/cpu.h
304
void bootsync (int);
sys/arch/armv7/armv7/armv7_machdep.c
235
bootsync(howto);