handle label attributes
[smatch.git] / validation / address_space.c
blob377890a52ea01077b81abf3c31f90a5a561b2b2c
1 #define __user __attribute__((address_space(1)))
3 extern int poke_memory(void *addr);
5 static int sys_do_stuff(void __user *user_addr)
7 return poke_memory(user_addr);