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
*/