• Andi Kleen's avatar
    [PATCH] Add sparse annotation to vsyscall.c · 131cfd7b
    Andi Kleen authored
    Fixes
    
    linux/arch/x86_64/kernel/vsyscall.c:276:7: warning: constant 0x0f40000000000 is so big it is long
    linux/arch/x86_64/kernel/vsyscall.c:80:14: warning: incorrect type in argument 1 (different address spaces)
    linux/arch/x86_64/kernel/vsyscall.c:80:14:    expected void const volatile [noderef] *addr<asn:2>
    linux/arch/x86_64/kernel/vsyscall.c:80:14:    got void *<noident>
    linux/arch/x86_64/kernel/vsyscall.c:200:7: warning: incorrect type in assignment (different address spaces)
    linux/arch/x86_64/kernel/vsyscall.c:200:7:    expected unsigned short [usertype] *map1
    linux/arch/x86_64/kernel/vsyscall.c:200:7:    got void [noderef] *<asn:2>
    linux/arch/x86_64/kernel/vsyscall.c:203:7: warning: incorrect type in assignment (different address spaces)
    linux/arch/x86_64/kernel/vsyscall.c:203:7:    expected unsigned short [usertype] *map2
    linux/arch/x86_64/kernel/vsyscall.c:203:7:    got void [noderef] *<asn:2>
    linux/arch/x86_64/kernel/vsyscall.c:215:10: warning: incorrect type in argument 1 (different address spaces)
    linux/arch/x86_64/kernel/vsyscall.c:215:10:    expected void volatile [noderef] *addr<asn:2>
    linux/arch/x86_64/kernel/vsyscall.c:215:10:    got unsigned short [usertype] *map2
    linux/arch/x86_64/kernel/vsyscall.c:217:10: warning: incorrect type in argument 1 (different address spaces)
    linux/arch/x86_64/kernel/vsyscall.c:217:10:    expected void volatile [noderef] *addr<asn:2>
    linux/arch/x86_64/kernel/vsyscall.c:217:10:    got unsigned short [usertype] *map1
    Signed-off-by: default avatarAndi Kleen <ak@suse.de>
    131cfd7b
vsyscall.c 7.73 KB