Symbol: xilinx_ml40x_init
sys/arch/emips/emips/sysconf.c
45
# define xilinx_ml40x_init platform_not_configured
sys/arch/emips/emips/xilinx_ml40x.c
90
xilinx_ml40x_init(void)