On Tue, Aug 12, 2003 at 04:04:52PM +0200, Thiemo Seufer wrote: > > > #ifdef __mips64 > > > # define MFC0 dmfc0 > > > # define MTC0 dmtc0 > > > #else > > > # define MFC0 mfc0 > > > # define MTC0 mtc0 > > > #endif > > > > I'd go for CONFIG_MIPS64 here. > > This would work as well, but I prefer compiler intrinsic defines > over custom configury. I agree for this particular header file because it's been copied into user applications. So ideally it should be able to live entirely without CONFIG_* symbols rsp. <linux/config.h>. Ralf