- __mark_check_format(DO_MARK3_FORMAT, value, s1, s2);
- printk("value is %d %s %s\n", value, s1, s2);
+ va_list ap;
+ int value;
+ const char *s1, *s2;
+
+ va_start(ap, format);
+ value = va_arg(ap, int);
+ s1 = va_arg(ap, const char*);
+ s2 = va_arg(ap, const char *);
+
+ printk("value is %d %s %s\n",
+ value, s1, s2);
+ va_end(ap);