Print this page
new smatch

*** 10,17 **** * 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 */ --- 10,17 ---- * 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 */