multiboot
multiboot(mbp->mbp_marks[MARK_ENTRY], vtophys(mbi),
multiboot(entry, vtophys(mbi),
void multiboot(physaddr_t, physaddr_t, physaddr_t, uint32_t);