1f08c3bdfSopenharmony_ci#define __user __attribute__((address_space(1))) 2f08c3bdfSopenharmony_ci 3f08c3bdfSopenharmony_ciextern int poke_memory(void *addr); 4f08c3bdfSopenharmony_ci 5f08c3bdfSopenharmony_cistatic int sys_do_stuff(void __user *user_addr) 6f08c3bdfSopenharmony_ci{ 7f08c3bdfSopenharmony_ci return poke_memory(user_addr); 8f08c3bdfSopenharmony_ci} 9f08c3bdfSopenharmony_ci/* 10f08c3bdfSopenharmony_ci * check-name: address_space attribute 11f08c3bdfSopenharmony_ci * 12f08c3bdfSopenharmony_ci * check-error-start 13f08c3bdfSopenharmony_ciaddress_space.c:7:28: warning: incorrect type in argument 1 (different address spaces) 14f08c3bdfSopenharmony_ciaddress_space.c:7:28: expected void *addr 15f08c3bdfSopenharmony_ciaddress_space.c:7:28: got void <asn:1> *user_addr 16f08c3bdfSopenharmony_ci * check-error-end 17f08c3bdfSopenharmony_ci */ 18