1 typedef unsigned int uint32_t;
2 typedef uint32_t Elf32_Addr;
4 unsigned char e_ident[(16)];
9 __attribute__ ((used)) _dl_start(Elf32_Addr dl_boot_got_pointer,
10 struct elf32_fdpic_loadmap
12 struct elf32_fdpic_loadmap
14 Elf32_Dyn * dl_boot_ldso_dyn_pointer,
15 struct funcdesc_value *dl_main_funcdesc,
20 if (!header || header->e_ident[4] != 1 || header->e_ident[6] != 1
22 (uint32_t *) & header->e_ident) !=
23 ((uint32_t) (0x7f + 0x100 * ('E' + (0x100 * ('L' + 0x100 * 'F'))))))
27 __attribute__ ((section(".text"))) __s[] =
28 ("Invalid ELF header\n");
31 for (__t = 0; __t < 0x1000000; __t++)
32 __asm__ __volatile__("");