1 #define __user __attribute__((address_space(1)))
2 
3 extern int poke_memory(void *addr);
4 
sys_do_stuff(void __user * user_addr)5 static int sys_do_stuff(void __user *user_addr)
6 {
7 	return poke_memory(user_addr);
8 }
9 /*
10  * check-name: address_space attribute
11  *
12  * check-error-start
13 address_space.c:7:28: warning: incorrect type in argument 1 (different address spaces)
14 address_space.c:7:28:    expected void *addr
15 address_space.c:7:28:    got void <asn:1> *user_addr
16  * check-error-end
17  */
18