189 |
|
|
190 |
/* FIXME: Some architectures support both word sizes. */ |
/* FIXME: Some architectures support both word sizes. */ |
191 |
if (!((elf->e_ident[EI_CLASS] == ELFCLASS32 |
if (!((elf->e_ident[EI_CLASS] == ELFCLASS32 |
192 |
&& L4_WORD_SIZE == 32) |
&& L4_WORDSIZE == 32) |
193 |
|| (elf->e_ident[EI_CLASS] == ELFCLASS64 |
|| (elf->e_ident[EI_CLASS] == ELFCLASS64 |
194 |
&& L4_WORD_SIZE == 64))) |
&& L4_WORDSIZE == 64))) |
195 |
panic ("%s has invalid word size", name); |
panic ("%s has invalid word size", name); |
196 |
if (!((elf->e_ident[EI_DATA] == ELFDATA2LSB |
if (!((elf->e_ident[EI_DATA] == ELFDATA2LSB |
197 |
&& L4_BYTE_ORDER == L4_LITTLE_ENDIAN) |
&& L4_BYTE_ORDER == L4_LITTLE_ENDIAN) |