xilinx_ml40x_init
void xilinx_ml40x_init (void);
sys_init(xilinx_ml40x_init,"XILINX_ML40x"), /* 1: Xilinx ML50x (XUP), same as ML40x */
sys_init(xilinx_ml40x_init,"XILINX_ML40x"), /* 8: Xilinx ML401/2 */
void xilinx_ml40x_init (void);