#include <sys/cdefs.h>
__FBSDID("$FreeBSD: releng/11.0/sys/boot/common/load_elf64_obj.c 134459 2004-08-29 00:48:42Z iedowse $");

#define __ELF_WORD_SIZE 64

#include "load_elf_obj.c"