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