/* $FreeBSD$ */

#ifndef FBSD_KGDB_ARM_H
#define FBSD_KGDB_ARM_H

#endif /* FBSD_KGDB_ARM_H */