Searched refs:entry64_addr (Results 1 – 4 of 4) sorted by relevance
53 uintptr_t entry64_addr);
207 paddr_t entry64_addr = (get_kernel_base_phys() + in sys_system_mexec() local322 platform_mexec(mexec_assembly, ops, new_bootimage_addr, new_bootimage_len, entry64_addr); in sys_system_mexec()
688 uintptr_t entry64_addr) { in platform_mexec() argument726 entry64_addr, 0, ops, 0); in platform_mexec()
579 uintptr_t entry64_addr) { in platform_mexec() argument
Completed in 8 milliseconds