/* $FreeBSD$ */
#include "ARMGenEDInfo.inc.h"