Searched refs:fpga_ptr (Results 1 – 1 of 1) sorted by relevance
116 const void *fpga_ptr; in zynq_common_target_init() local119 if (bootimage_get_file_section(bi, TYPE_FPGA_IMAGE, &fpga_ptr, &fpga_len) >= 0) { in zynq_common_target_init()123 paddr_t pa = vaddr_to_paddr((void *)fpga_ptr); in zynq_common_target_init()126 … printf("loading fpga image at %p (phys 0x%lx), len %zx\n", fpga_ptr, pa, fpga_len); in zynq_common_target_init()
Completed in 6 milliseconds