HelenOS sources

bootstrap          83 boot/arch/arm32/src/main.c void bootstrap(void)
bootstrap         114 boot/arch/arm64/src/main.c efi_status_t bootstrap(void *efi_handle_in,
bootstrap         161 boot/arch/ia64/src/main.c void bootstrap(void)
bootstrap          47 boot/arch/mips32/src/main.c void bootstrap(int kargc, char **kargv)
bootstrap          59 boot/arch/ppc32/src/main.c void bootstrap(void)
bootstrap          48 boot/arch/riscv64/src/main.c void bootstrap(void)
bootstrap         191 boot/arch/sparc64/src/main.c void bootstrap(void)