MARK_ENTRY
entry = marks[MARK_ENTRY] & 0x0fffffff;
entry = marks[MARK_ENTRY];
cpu_flush_dcache(marks[MARK_ENTRY], marks[MARK_END] - marks[MARK_ENTRY]);
(*(startfuncp)(marks[MARK_ENTRY]))((void *)marks[MARK_END], 0, fdt);
(*(startfuncp)(marks[MARK_ENTRY]))((void *)esym, NULL, fdt);
(*(startfuncp)((u_long)marks[MARK_ENTRY]))((int)pdc, howto, bootdev,
(*(startfuncp)((u_long)marks[MARK_ENTRY]))((int)pdc, 0, bootdev,
entry = marks[MARK_ENTRY] & 0x0fffffff;
entry = marks[MARK_ENTRY];
(*(program)(marks[MARK_ENTRY]))(newargc, PTR_TO_CKSEG1(newargv),
(uint32_t)marks[MARK_ENTRY];
printf("entry = 0x%lx\n", (uint32_t)marks[MARK_ENTRY]);
entry = marks[MARK_ENTRY];
cpu_flush_dcache(marks[MARK_ENTRY], marks[MARK_END] - marks[MARK_ENTRY]);
(*(startfuncp)(marks[MARK_ENTRY]))((void *)marks[MARK_END], 0, fdt);
marks[MARK_ENTRY] = LOADADDR(elf->e_entry);
marks[MARK_ENTRY] = LOADADDR(elf->e_entry);
vrs->vrs_gprs[VCPU_REGS_RIP] = (uint64_t)marks[MARK_ENTRY];
marks[MARK_ENTRY] = LOADADDR(elf->e_entry);