Searched refs:fpga_sec_entrypoint (Results 1 – 4 of 4) sorted by relevance
36 uintptr_t fpga_sec_entrypoint; variable98 fpga_sec_entrypoint = sec_entrypoint; in plat_setup_psci_ops()99 flush_dcache_range((uint64_t)&fpga_sec_entrypoint, in plat_setup_psci_ops()100 sizeof(fpga_sec_entrypoint)); in plat_setup_psci_ops()
84 adrp x2, fpga_sec_entrypoint85 add x2, x2, :lo12:fpga_sec_entrypoint