#define uputp uputw /* Copy user pointer type */
#define ugetp ugetw /* between user and kernel */
-#define __fastcall__
extern void ei(void);
extern irqflags_t di(void);
extern void irqrestore(irqflags_t f);
a bit less as C stack is not return stack */
#define brk_limit() ((((uint16_t)udata.u_syscall_sp) | 0xFF) - 384)
-#define staticfast static
+#define staticfast auto
/* User's structure for times() system call */
typedef unsigned long clock_t;
#define cpu_to_le32(x) (x)
#define le32_to_cpu(x) (x)
-/* Bank attributes --- unused */
-#define CODE1
-#define CODE2
-#define COMMON
-#define VIDEO
-#define DISCARD
-
/* jmp over the Fuzix header. Will need updating if the header size changes */
#define EMAGIC 0x08
#define EMAGIC_2 0x3c