nkeynes@185: /* regdef.h -- define register names.  */
nkeynes@185: 
nkeynes@185: /* This is a standard include file for MIPS targets.  Other target
nkeynes@185:    probably don't define it, and attempts to include this file will
nkeynes@185:    fail.  */
nkeynes@185: 
nkeynes@185: #include <machine/regdef.h>