1 /* 2 * Copyright 2005, Ingo Weinhold <bonefish@cs.tu-berlin.de>. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef KERNEL_BOOT_ARCH_H 6 #define KERNEL_BOOT_ARCH_H 7 8 9 #include <SupportDefs.h> 10 #include <boot/elf.h> 11 12 13 /* ELF support */ 14 15 extern status_t boot_arch_elf_relocate_rel(preloaded_elf32_image* image, 16 Elf32_Rel* rel, int rel_len); 17 extern status_t boot_arch_elf_relocate_rel(preloaded_elf64_image* image, 18 Elf64_Rel* rel, int rel_len); 19 extern status_t boot_arch_elf_relocate_rela(preloaded_elf32_image* image, 20 Elf32_Rela* rel, int rel_len); 21 extern status_t boot_arch_elf_relocate_rela(preloaded_elf64_image* image, 22 Elf64_Rela* rel, int rel_len); 23 24 25 #endif /* KERNEL_BOOT_ARCH_H */ 26