Lines Matching refs:physaddr_t
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);
40 extern void (*multiboot64)(physaddr_t, physaddr_t, uint32_t);
73 startprog(physaddr_t entry, uint32_t argc, uint32_t *argv, physaddr_t sp)
84 (physaddr_t)newsp, efi_kernel_size, startprog64, entry);
89 multiboot(physaddr_t entry, physaddr_t header, physaddr_t sp, uint32_t magic)
Indexes created Mon Oct 13 21:09:55 GMT 2025