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 Levonstatic 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