|
@@ -3,6 +3,7 @@
|
|
|
* Licensed under the GPL
|
|
|
*/
|
|
|
|
|
|
+#include "linux/compiler.h"
|
|
|
#include "linux/stddef.h"
|
|
|
#include "linux/kernel.h"
|
|
|
#include "linux/string.h"
|
|
@@ -61,8 +62,7 @@ static void do_buffer_op(void *jmpbuf, void *arg_ptr)
|
|
|
void *arg;
|
|
|
int *res;
|
|
|
|
|
|
- /* Some old gccs recognize __va_copy, but not va_copy */
|
|
|
- __va_copy(args, *(va_list *)arg_ptr);
|
|
|
+ va_copy(args, *(va_list *)arg_ptr);
|
|
|
addr = va_arg(args, unsigned long);
|
|
|
len = va_arg(args, int);
|
|
|
is_write = va_arg(args, int);
|