diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/address_space.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/validation/address_space.c b/validation/address_space.c index 9a7513d9..79c1d55c 100644 --- a/validation/address_space.c +++ b/validation/address_space.c @@ -13,6 +13,6 @@ static int sys_do_stuff(void __user *user_addr) * check-output-start address_space.c:7:21: warning: incorrect type in argument 1 (different address spaces) address_space.c:7:21: expected void *addr -address_space.c:7:21: got void *user_addr<asn:1> +address_space.c:7:21: got void <asn:1>*user_addr * check-output-end */ |