#ifndef _ELF_H_
#define _ELF_H_

s32 valid_elf_image(void *);
u32 load_elf_image(void *);
#endif