2019-05-27 09:55:01 +03:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-or-later */
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
|
|
|
* INET An implementation of the TCP/IP protocol suite for the LINUX
|
|
|
|
* operating system. INET is implemented using the BSD Socket
|
|
|
|
* interface as the means of communication with the user level.
|
|
|
|
*
|
|
|
|
* Checksumming functions for IP, TCP, UDP and so on
|
|
|
|
*
|
|
|
|
* Authors: Jorge Cwik, <jorge@laser.satlink.net>
|
|
|
|
* Arnt Gulbrandsen, <agulbra@nvg.unit.no>
|
|
|
|
* Borrows very liberally from tcp.c and ip.c, see those
|
|
|
|
* files for more names.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _CHECKSUM_H
|
|
|
|
#define _CHECKSUM_H
|
|
|
|
|
|
|
|
#include <linux/errno.h>
|
|
|
|
#include <asm/types.h>
|
|
|
|
#include <asm/byteorder.h>
|
2016-12-24 22:46:01 +03:00
|
|
|
#include <linux/uaccess.h>
|
2005-04-17 02:20:36 +04:00
|
|
|
#include <asm/checksum.h>
|
|
|
|
|
|
|
|
#ifndef _HAVE_ARCH_COPY_AND_CSUM_FROM_USER
|
|
|
|
static inline
|
2006-11-15 08:23:59 +03:00
|
|
|
__wsum csum_and_copy_from_user (const void __user *src, void *dst,
|
|
|
|
int len, __wsum sum, int *err_ptr)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
Remove 'type' argument from access_ok() function
Nobody has actually used the type (VERIFY_READ vs VERIFY_WRITE) argument
of the user address range verification function since we got rid of the
old racy i386-only code to walk page tables by hand.
It existed because the original 80386 would not honor the write protect
bit when in kernel mode, so you had to do COW by hand before doing any
user access. But we haven't supported that in a long time, and these
days the 'type' argument is a purely historical artifact.
A discussion about extending 'user_access_begin()' to do the range
checking resulted this patch, because there is no way we're going to
move the old VERIFY_xyz interface to that model. And it's best done at
the end of the merge window when I've done most of my merges, so let's
just get this done once and for all.
This patch was mostly done with a sed-script, with manual fix-ups for
the cases that weren't of the trivial 'access_ok(VERIFY_xyz' form.
There were a couple of notable cases:
- csky still had the old "verify_area()" name as an alias.
- the iter_iov code had magical hardcoded knowledge of the actual
values of VERIFY_{READ,WRITE} (not that they mattered, since nothing
really used it)
- microblaze used the type argument for a debug printout
but other than those oddities this should be a total no-op patch.
I tried to fix up all architectures, did fairly extensive grepping for
access_ok() uses, and the changes are trivial, but I may have missed
something. Any missed conversion should be trivially fixable, though.
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
2019-01-04 05:57:57 +03:00
|
|
|
if (access_ok(src, len))
|
2005-04-17 02:20:36 +04:00
|
|
|
return csum_partial_copy_from_user(src, dst, len, sum, err_ptr);
|
|
|
|
|
|
|
|
if (len)
|
|
|
|
*err_ptr = -EFAULT;
|
|
|
|
|
|
|
|
return sum;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifndef HAVE_CSUM_COPY_USER
|
2006-11-15 08:23:59 +03:00
|
|
|
static __inline__ __wsum csum_and_copy_to_user
|
|
|
|
(const void *src, void __user *dst, int len, __wsum sum, int *err_ptr)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
|
|
|
sum = csum_partial(src, len, sum);
|
|
|
|
|
Remove 'type' argument from access_ok() function
Nobody has actually used the type (VERIFY_READ vs VERIFY_WRITE) argument
of the user address range verification function since we got rid of the
old racy i386-only code to walk page tables by hand.
It existed because the original 80386 would not honor the write protect
bit when in kernel mode, so you had to do COW by hand before doing any
user access. But we haven't supported that in a long time, and these
days the 'type' argument is a purely historical artifact.
A discussion about extending 'user_access_begin()' to do the range
checking resulted this patch, because there is no way we're going to
move the old VERIFY_xyz interface to that model. And it's best done at
the end of the merge window when I've done most of my merges, so let's
just get this done once and for all.
This patch was mostly done with a sed-script, with manual fix-ups for
the cases that weren't of the trivial 'access_ok(VERIFY_xyz' form.
There were a couple of notable cases:
- csky still had the old "verify_area()" name as an alias.
- the iter_iov code had magical hardcoded knowledge of the actual
values of VERIFY_{READ,WRITE} (not that they mattered, since nothing
really used it)
- microblaze used the type argument for a debug printout
but other than those oddities this should be a total no-op patch.
I tried to fix up all architectures, did fairly extensive grepping for
access_ok() uses, and the changes are trivial, but I may have missed
something. Any missed conversion should be trivially fixable, though.
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
2019-01-04 05:57:57 +03:00
|
|
|
if (access_ok(dst, len)) {
|
2005-04-17 02:20:36 +04:00
|
|
|
if (copy_to_user(dst, src, len) == 0)
|
|
|
|
return sum;
|
|
|
|
}
|
|
|
|
if (len)
|
|
|
|
*err_ptr = -EFAULT;
|
|
|
|
|
2006-11-15 08:23:59 +03:00
|
|
|
return (__force __wsum)-1; /* invalid checksum */
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2014-05-03 03:28:03 +04:00
|
|
|
#ifndef HAVE_ARCH_CSUM_ADD
|
2006-11-15 08:23:59 +03:00
|
|
|
static inline __wsum csum_add(__wsum csum, __wsum addend)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
2006-11-15 08:23:59 +03:00
|
|
|
u32 res = (__force u32)csum;
|
|
|
|
res += (__force u32)addend;
|
|
|
|
return (__force __wsum)(res + (res < (__force u32)addend));
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
2014-05-03 03:28:03 +04:00
|
|
|
#endif
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2006-11-15 08:23:59 +03:00
|
|
|
static inline __wsum csum_sub(__wsum csum, __wsum addend)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
|
|
|
return csum_add(csum, ~addend);
|
|
|
|
}
|
|
|
|
|
2014-03-24 06:51:36 +04:00
|
|
|
static inline __sum16 csum16_add(__sum16 csum, __be16 addend)
|
|
|
|
{
|
|
|
|
u16 res = (__force u16)csum;
|
|
|
|
|
|
|
|
res += (__force u16)addend;
|
|
|
|
return (__force __sum16)(res + (res < (__force u16)addend));
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline __sum16 csum16_sub(__sum16 csum, __be16 addend)
|
|
|
|
{
|
|
|
|
return csum16_add(csum, ~addend);
|
|
|
|
}
|
|
|
|
|
2006-11-15 08:23:59 +03:00
|
|
|
static inline __wsum
|
|
|
|
csum_block_add(__wsum csum, __wsum csum2, int offset)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
2006-11-15 08:23:59 +03:00
|
|
|
u32 sum = (__force u32)csum2;
|
2016-03-09 20:25:26 +03:00
|
|
|
|
|
|
|
/* rotate sum to align it with a 16b boundary */
|
|
|
|
if (offset & 1)
|
|
|
|
sum = ror32(sum, 8);
|
|
|
|
|
2006-11-15 08:23:59 +03:00
|
|
|
return csum_add(csum, (__force __wsum)sum);
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
2013-10-30 14:50:51 +04:00
|
|
|
static inline __wsum
|
|
|
|
csum_block_add_ext(__wsum csum, __wsum csum2, int offset, int len)
|
|
|
|
{
|
|
|
|
return csum_block_add(csum, csum2, offset);
|
|
|
|
}
|
|
|
|
|
2006-11-15 08:23:59 +03:00
|
|
|
static inline __wsum
|
|
|
|
csum_block_sub(__wsum csum, __wsum csum2, int offset)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
2016-03-09 20:25:26 +03:00
|
|
|
return csum_block_add(csum, ~csum2, offset);
|
2006-11-15 08:23:59 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static inline __wsum csum_unfold(__sum16 n)
|
|
|
|
{
|
|
|
|
return (__force __wsum)n;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
2013-11-04 20:10:25 +04:00
|
|
|
static inline __wsum csum_partial_ext(const void *buff, int len, __wsum sum)
|
|
|
|
{
|
|
|
|
return csum_partial(buff, len, sum);
|
|
|
|
}
|
|
|
|
|
2006-11-16 13:36:50 +03:00
|
|
|
#define CSUM_MANGLED_0 ((__force __sum16)0xffff)
|
2007-11-29 17:14:30 +03:00
|
|
|
|
bpf: allow bpf_csum_diff to feed bpf_l3_csum_replace as well
Commit 7d672345ed29 ("bpf: add generic bpf_csum_diff helper") added a
generic checksum diff helper that can feed bpf_l4_csum_replace() with
a target __wsum diff that is to be applied to the L4 checksum. This
facility is very flexible, can be cascaded, allows for adding, removing,
or diffing data, or for calculating the pseudo header checksum from
scratch, but it can also be reused for working with the IPv4 header
checksum.
Thus, analogous to bpf_l4_csum_replace(), add a case for header field
value of 0 to change the checksum at a given offset through a new helper
csum_replace_by_diff(). Also, in addition to that, this provides an
easy to use interface for feeding precalculated diffs f.e. coming from
a map. It nicely complements bpf_l3_csum_replace() that currently allows
only for csum updates of 2 and 4 byte diffs.
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: David S. Miller <davem@davemloft.net>
2016-03-04 17:15:02 +03:00
|
|
|
static inline void csum_replace_by_diff(__sum16 *sum, __wsum diff)
|
|
|
|
{
|
|
|
|
*sum = csum_fold(csum_add(diff, ~csum_unfold(*sum)));
|
|
|
|
}
|
|
|
|
|
2007-11-29 17:14:30 +03:00
|
|
|
static inline void csum_replace4(__sum16 *sum, __be32 from, __be32 to)
|
|
|
|
{
|
2015-05-15 18:52:19 +03:00
|
|
|
__wsum tmp = csum_sub(~csum_unfold(*sum), (__force __wsum)from);
|
|
|
|
|
|
|
|
*sum = csum_fold(csum_add(tmp, (__force __wsum)to));
|
2007-11-29 17:14:30 +03:00
|
|
|
}
|
|
|
|
|
2014-03-24 06:51:36 +04:00
|
|
|
/* Implements RFC 1624 (Incremental Internet Checksum)
|
|
|
|
* 3. Discussion states :
|
|
|
|
* HC' = ~(~HC + ~m + m')
|
|
|
|
* m : old value of a 16bit field
|
|
|
|
* m' : new value of a 16bit field
|
|
|
|
*/
|
|
|
|
static inline void csum_replace2(__sum16 *sum, __be16 old, __be16 new)
|
2007-11-29 17:14:30 +03:00
|
|
|
{
|
2014-03-24 06:51:36 +04:00
|
|
|
*sum = ~csum16_add(csum16_sub(~(*sum), old), new);
|
2007-11-29 17:14:30 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
struct sk_buff;
|
2013-08-01 04:31:38 +04:00
|
|
|
void inet_proto_csum_replace4(__sum16 *sum, struct sk_buff *skb,
|
2015-08-17 23:42:25 +03:00
|
|
|
__be32 from, __be32 to, bool pseudohdr);
|
2013-08-01 04:31:38 +04:00
|
|
|
void inet_proto_csum_replace16(__sum16 *sum, struct sk_buff *skb,
|
|
|
|
const __be32 *from, const __be32 *to,
|
2015-08-17 23:42:25 +03:00
|
|
|
bool pseudohdr);
|
2015-08-17 23:42:26 +03:00
|
|
|
void inet_proto_csum_replace_by_diff(__sum16 *sum, struct sk_buff *skb,
|
|
|
|
__wsum diff, bool pseudohdr);
|
2007-11-29 17:14:30 +03:00
|
|
|
|
|
|
|
static inline void inet_proto_csum_replace2(__sum16 *sum, struct sk_buff *skb,
|
|
|
|
__be16 from, __be16 to,
|
2015-08-17 23:42:25 +03:00
|
|
|
bool pseudohdr)
|
2007-11-29 17:14:30 +03:00
|
|
|
{
|
|
|
|
inet_proto_csum_replace4(sum, skb, (__force __be32)from,
|
|
|
|
(__force __be32)to, pseudohdr);
|
|
|
|
}
|
|
|
|
|
2014-11-25 22:21:19 +03:00
|
|
|
static inline __wsum remcsum_adjust(void *ptr, __wsum csum,
|
|
|
|
int start, int offset)
|
|
|
|
{
|
|
|
|
__sum16 *psum = (__sum16 *)(ptr + offset);
|
|
|
|
__wsum delta;
|
|
|
|
|
|
|
|
/* Subtract out checksum up to start */
|
|
|
|
csum = csum_sub(csum, csum_partial(ptr, start, 0));
|
|
|
|
|
|
|
|
/* Set derived checksum in packet */
|
2015-12-10 23:37:44 +03:00
|
|
|
delta = csum_sub((__force __wsum)csum_fold(csum),
|
|
|
|
(__force __wsum)*psum);
|
2014-11-25 22:21:19 +03:00
|
|
|
*psum = csum_fold(csum);
|
|
|
|
|
|
|
|
return delta;
|
|
|
|
}
|
|
|
|
|
2015-02-11 03:30:27 +03:00
|
|
|
static inline void remcsum_unadjust(__sum16 *psum, __wsum delta)
|
|
|
|
{
|
2017-01-18 23:14:56 +03:00
|
|
|
*psum = csum_fold(csum_sub(delta, (__force __wsum)*psum));
|
2015-02-11 03:30:27 +03:00
|
|
|
}
|
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
#endif
|