HelenOS sources

bootinfo_t         81 boot/arch/arm32/src/main.c static bootinfo_t bootinfo;
bootinfo_t        133 boot/arch/arm64/src/main.c 	bootinfo_t *bootinfo;
bootinfo_t         62 boot/arch/ia64/src/main.c static bootinfo_t bootinfo;
bootinfo_t         44 boot/arch/mips32/src/main.c static bootinfo_t *bootinfo = (bootinfo_t *) PA2KA(BOOTINFO_OFFSET);
bootinfo_t         48 boot/arch/ppc32/src/main.c static bootinfo_t bootinfo;
bootinfo_t         46 boot/arch/riscv64/src/main.c static bootinfo_t bootinfo;
bootinfo_t         35 boot/arch/sparc64/include/arch/asm.h extern void jump_to_kernel(uintptr_t physmem_start, bootinfo_t *bootinfo,
bootinfo_t         75 boot/arch/sparc64/src/main.c static bootinfo_t bootinfo;
bootinfo_t         61 kernel/arch/arm32/include/arch/arch.h extern void arm32_pre_main(void *entry, bootinfo_t *bootinfo);
bootinfo_t         66 kernel/arch/arm32/src/arm32.c void arm32_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
bootinfo_t         41 kernel/arch/arm64/include/arch/arch.h extern void arm64_pre_main(void *entry, bootinfo_t *bootinfo);
bootinfo_t         60 kernel/arch/arm64/src/arm64.c void arm64_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
bootinfo_t         70 kernel/arch/ia64/include/arch/bootinfo.h extern bootinfo_t *bootinfo;
bootinfo_t         79 kernel/arch/ia64/src/ia64.c bootinfo_t *bootinfo;
bootinfo_t         72 kernel/arch/mips32/include/arch/arch.h extern void mips32_pre_main(void *entry, bootinfo_t *bootinfo);
bootinfo_t         85 kernel/arch/mips32/src/mips32.c void mips32_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
bootinfo_t         40 kernel/arch/ppc32/include/arch/arch.h extern void ppc32_pre_main(bootinfo_t *);
bootinfo_t         75 kernel/arch/ppc32/src/ppc32.c bootinfo_t bootinfo;
bootinfo_t         81 kernel/arch/ppc32/src/ppc32.c void ppc32_pre_main(bootinfo_t *bootinfo)
bootinfo_t         40 kernel/arch/riscv64/include/arch/arch.h extern void riscv64_pre_main(bootinfo_t *);
bootinfo_t         66 kernel/arch/riscv64/src/riscv64.c void riscv64_pre_main(bootinfo_t *bootinfo)
bootinfo_t         61 kernel/arch/sparc64/include/arch/arch.h extern void sparc64_pre_main(bootinfo_t *);
bootinfo_t         71 kernel/arch/sparc64/src/sun4u/sparc64.c void sparc64_pre_main(bootinfo_t *bootinfo)
bootinfo_t         73 kernel/arch/sparc64/src/sun4v/sparc64.c void sparc64_pre_main(bootinfo_t *bootinfo)