Home
last modified time | relevance | path

Searched refs:fpga_ptr (Results 1 – 1 of 1) sorted by relevance

/app/zynq-common/
A Dinit.c116 const void *fpga_ptr; in zynq_common_target_init() local
119 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