Searched refs:pa (Results 1 – 4 of 4) sorted by relevance
212 paddr_t pa; in lkboot_dcc_init() local217 pa = vaddr_to_paddr(htod_buffer); in lkboot_dcc_init()218 DEBUG_ASSERT(pa); in lkboot_dcc_init()220 buffer_desc.htod_buffer_phys = pa; in lkboot_dcc_init()223 pa = vaddr_to_paddr(dtoh_buffer); in lkboot_dcc_init()224 DEBUG_ASSERT(pa); in lkboot_dcc_init()226 buffer_desc.dtoh_buffer_phys = pa; in lkboot_dcc_init()
351 paddr_t pa = vaddr_to_paddr(buf); in lkb_handle_command() local352 if (pa == 0) { in lkb_handle_command()370 zynq_program_fpga(pa, len); in lkb_handle_command()
123 paddr_t pa = vaddr_to_paddr((void *)fpga_ptr); in zynq_common_target_init() local124 if (pa != 0) { 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()128 err = zynq_program_fpga(pa, fpga_len); in zynq_common_target_init()
186 paddr_t pa; in mem_test() local187 pa = vaddr_to_paddr(ptr); in mem_test()188 printf("physical address 0x%lx\n", pa); in mem_test()
Completed in 16 milliseconds