#include <sys/cdefs.h>
__FBSDID("$FreeBSD: src/sys/boot/common/load_elf64_obj.c,v 1.1.24.1.8.1 2012/03/03 06:15:13 kensmith Exp $");

#define __ELF_WORD_SIZE 64

#include "load_elf_obj.c"