8 #define CP (void code*)0x1234
9 #define XP (void xdata*)0x5678
11 void varargs_fn(char k, ...)
20 cp = va_arg(arg, void code *);
22 xp = va_arg(arg, void xdata *);
24 gp = va_arg(arg, void *);
25 ASSERT(gp == (void *)CP);
26 gp = va_arg(arg, void *);
27 ASSERT(gp == (void *)XP);
38 varargs_fn('k', (void code *)cp, (void xdata *)xp, cp, xp);