#ifndef _ELFLOADER_H_
#define _ELFLOADER_H_

s32 valid_elf_image (void *addr);
u32 load_elf_image (void *addr);

#endif