| /src/sys/arch/i386/stand/efiboot/bootx64/ |
| efibootx64.c | 33 void startprog64_start(physaddr_t, physaddr_t, physaddr_t, u_long,
34 void *, physaddr_t);
35 extern void (*startprog64)(physaddr_t, physaddr_t, physaddr_t, u_long,
36 void *, physaddr_t);
39 void multiboot64_start(physaddr_t, physaddr_t, uint32_t)
[all...] |
| /src/sys/arch/i386/stand/efiboot/bootia32/ |
| efibootia32.c | 33 void startprog32_start(physaddr_t, uint32_t, uint32_t *, physaddr_t,
34 physaddr_t, physaddr_t, u_long, void *);
35 extern void (*startprog32)(physaddr_t, uint32_t, uint32_t *, physaddr_t,
36 physaddr_t, physaddr_t, u_long, void *);
39 void multiboot32_start(physaddr_t, physaddr_t, uint32_t)
[all...] |
| /src/sys/arch/i386/stand/lib/ |
| libi386.h | 32 typedef unsigned long physaddr_t; typedef in typeref:typename:unsigned long
38 physaddr_t vtophys(void *);
41 void startprog(physaddr_t, uint32_t, uint32_t *, physaddr_t);
42 void multiboot(physaddr_t, physaddr_t, physaddr_t, uint32_t);
44 int exec_netbsd(const char *, physaddr_t, int, int, void (*)(void));
|
| exec.c | 311 physaddr_t loadaddr, int floppy, u_long marks[MARK_MAX])
374 physaddr_t loadaddr, int floppy, u_long marks[MARK_MAX])
412 exec_netbsd(const char *file, physaddr_t loadaddr, int boothowto, int floppy,
819 physaddr_t loadaddr = 0;
|
| exec_multiboot2.c | 1358 physaddr_t entry;
|
| /src/sys/arch/i386/stand/efiboot/ |
| efiboot.h | 55 extern physaddr_t efi_loadaddr, efi_kernel_start, efi_load_start;
56 extern physaddr_t efi_kernel_reloc;
|
| efiboot.c | 39 physaddr_t efi_loadaddr, efi_kernel_start, efi_load_start;
40 physaddr_t efi_kernel_reloc = 0;
|
| efimemory.c | 438 physaddr_t
441 return (physaddr_t)va;
|
| /src/sys/arch/ia64/stand/efi/libefi/ |
| efiboot.h | 64 typedef unsigned long physaddr_t; typedef in typeref:typename:unsigned long
|
| /src/sys/arch/ia64/stand/ia64/ski/ |
| libski.h | 56 typedef unsigned long physaddr_t; typedef in typeref:typename:unsigned long
|
