| #define __user __attribute__((address_space(1))) | |
| extern int poke_memory(void *addr); | |
| static int sys_do_stuff(void __user *user_addr) | |
| { | |
| return poke_memory(user_addr); | |
| } | |
| /* | |
| * check-name: address_space attribute | |
| * | |
| * check-error-start | |
| address_space.c:7:28: warning: incorrect type in argument 1 (different address spaces) | |
| address_space.c:7:28: expected void *addr | |
| address_space.c:7:28: got void <asn:1>*user_addr | |
| * check-error-end | |
| */ |