Symbol: platform_init
sys/arch/armv7/armv7/armv7_machdep.c
465
platform_init();
sys/arch/armv7/armv7/armv7_machdep.h
21
void platform_init(void);