u-boot/board/xilinx/zynq/zynq-zed
..
ps7_init_gpl.c