u-boot/board/xilinx/zynq/zynq-zc770-xm013
..
ps7_init_gpl.c