11f5207b7SJohn Levon #define __user __attribute__((address_space(1)))
21f5207b7SJohn Levon 
31f5207b7SJohn Levon extern int poke_memory(void *addr);
41f5207b7SJohn Levon 
sys_do_stuff(void __user * user_addr)51f5207b7SJohn Levon static int sys_do_stuff(void __user *user_addr)
61f5207b7SJohn Levon {
71f5207b7SJohn Levon 	return poke_memory(user_addr);
81f5207b7SJohn Levon }
91f5207b7SJohn Levon /*
101f5207b7SJohn Levon  * check-name: address_space attribute
111f5207b7SJohn Levon  *
121f5207b7SJohn Levon  * check-error-start
131f5207b7SJohn Levon address_space.c:7:28: warning: incorrect type in argument 1 (different address spaces)
141f5207b7SJohn Levon address_space.c:7:28:    expected void *addr
15*c85f09ccSJohn Levon address_space.c:7:28:    got void <asn:1> *user_addr
161f5207b7SJohn Levon  * check-error-end
171f5207b7SJohn Levon  */
18