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 15extern status_t boot_arch_elf_relocate_rel(preloaded_elf32_image* image, 16 Elf32_Rel* rel, int rel_len); 17extern status_t boot_arch_elf_relocate_rel(preloaded_elf64_image* image, 18 Elf64_Rel* rel, int rel_len); 19extern status_t boot_arch_elf_relocate_rela(preloaded_elf32_image* image, 20 Elf32_Rela* rel, int rel_len); 21extern 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