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