physaddr_t
void startprog32_start(physaddr_t, uint32_t, uint32_t *, physaddr_t,
physaddr_t, physaddr_t, u_long, void *);
void (*startprog32)(physaddr_t, uint32_t, uint32_t *, physaddr_t,
physaddr_t, physaddr_t, u_long, void *);
void multiboot32_start(physaddr_t, physaddr_t, uint32_t);
void (*multiboot32)(physaddr_t, physaddr_t, uint32_t);
startprog(physaddr_t entry, uint32_t argc, uint32_t *argv, physaddr_t sp)
(physaddr_t)startprog32 + startprog32_size,
multiboot(physaddr_t entry, physaddr_t header, physaddr_t sp, uint32_t magic)
void startprog64_start(physaddr_t, physaddr_t, physaddr_t, u_long,
void *, physaddr_t);
void (*startprog64)(physaddr_t, physaddr_t, physaddr_t, u_long,
void *, physaddr_t);
void multiboot64_start(physaddr_t, physaddr_t, uint32_t);
void (*multiboot64)(physaddr_t, physaddr_t, uint32_t);
startprog(physaddr_t entry, uint32_t argc, uint32_t *argv, physaddr_t sp)
(physaddr_t)newsp, efi_kernel_size, startprog64, entry);
multiboot(physaddr_t entry, physaddr_t header, physaddr_t sp, uint32_t magic)
physaddr_t efi_loadaddr, efi_kernel_start, efi_load_start;
physaddr_t efi_kernel_reloc = 0;
extern physaddr_t efi_loadaddr, efi_kernel_start, efi_load_start;
extern physaddr_t efi_kernel_reloc;
physaddr_t
return (physaddr_t)va;
physaddr_t loadaddr, int floppy, u_long marks[MARK_MAX])
physaddr_t loadaddr, int floppy, u_long marks[MARK_MAX])
exec_netbsd(const char *file, physaddr_t loadaddr, int boothowto, int floppy,
physaddr_t loadaddr = 0;
physaddr_t entry;
physaddr_t vtophys(void *);
void startprog(physaddr_t, uint32_t, uint32_t *, physaddr_t);
void multiboot(physaddr_t, physaddr_t, physaddr_t, uint32_t);
int exec_netbsd(const char *, physaddr_t, int, int, void (*)(void));