1 #define __user __attribute__((address_space(1))) 2 3 extern int poke_memory(void *addr); 4 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 */