11f5207b7SJohn Levon /* 21f5207b7SJohn Levon * Structure members should get the address 31f5207b7SJohn Levon * space of their pointer. 41f5207b7SJohn Levon */ 51f5207b7SJohn Levon #define __user __attribute__((address_space(1))) 61f5207b7SJohn Levon 71f5207b7SJohn Levon struct hello { 81f5207b7SJohn Levon int a; 91f5207b7SJohn Levon }; 101f5207b7SJohn Levon 111f5207b7SJohn Levon extern int test(int __user *ip); 121f5207b7SJohn Levon broken(struct hello __user * sp)131f5207b7SJohn Levonstatic int broken(struct hello __user *sp) 141f5207b7SJohn Levon { 15*c85f09ccSJohn Levon return test(&sp->a); 161f5207b7SJohn Levon } 171f5207b7SJohn Levon /* 181f5207b7SJohn Levon * check-name: Address space of a struct member 191f5207b7SJohn Levon */ 20