/* $FreeBSD$ */
#ifndef FBSD_KGDB_IA64_H
#define FBSD_KGDB_IA64_H
#include "fbsd-kgdb.h"
#endif /* FBSD_KGDB_IA64_H */