Lines Matching refs:physaddr_t
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);
40 extern void (*multiboot32)(physaddr_t, physaddr_t, uint32_t);
73 startprog(physaddr_t entry, uint32_t argc, uint32_t *argv, physaddr_t sp)
77 (physaddr_t)startprog32 + startprog32_size,
84 multiboot(physaddr_t entry, physaddr_t header, physaddr_t sp, uint32_t magic)
Indexes created Wed Oct 15 07:09:58 GMT 2025