Symbol: undefined_init
sys/arch/arm/include/undefined.h
64
void undefined_init (void);
sys/arch/armv7/armv7/armv7_machdep.c
745
undefined_init();