-/* When used in place of 'volatile', 'NONVOLATILE' is equivalent to nothing,
- except it cajoles GCC into not warning incorrectly that a variable needs to
- be volatile. This works around GCC bug 54561. */
-#if defined GCC_LINT || defined lint
-# define NONVOLATILE volatile
-#else
-# define NONVOLATILE /* empty */
-#endif
-