#include <sys/cdefs.h>
__FBSDID("$FreeBSD: head/sys/boot/common/load_elf64.c 119483 2003-08-25 23:30:41Z obrien $");

#define __ELF_WORD_SIZE 64

#include "load_elf.c"