1 #define __user __attribute__((address_space(__user))) 2 3 extern void fun(void *addr); 4 5 static void foo(void __user *ptr) 6 { 7 return fun(ptr); 8 } 9 /* 10 * check-name: as-name attribute 11 * 12 * check-error-start 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 16 * check-error-end 17 */