typedef unsigned long long time_t;
#ifdef CONFIG_BANKED
-#define CODE1 __attribute__((far(1)))
-#define CODE2 __attribute__((far(2)))
+#define CODE1 __attribute__((far("1")))
+#define CODE2 __attribute__((far("2")))
#define COMMON
-#define DISCARD __attribute__((far(3)))
-#define VIDEO __attribute__((far(4)))
+#define DISCARD __attribute__((far("3")))
+#define VIDEO __attribute__((far("4")))
#else
/* Bank attributes for 6809 in banked code mode */
#define CODE1