1 #define __user __attribute__((address_space(__user)))
3 extern void fun(void *addr
);
5 static void foo(void __user
*ptr
)
10 * check-name: as-name attribute
13 as-name.c:7:20: warning: incorrect type in argument 1 (different address spaces)
14 as-name.c:7:20: expected void *addr
15 as-name.c:7:20: got void __user *ptr