diff options
author | Arnaldo Carvalho de Melo <acme@mandriva.com> | 2005-08-16 18:46:48 -0400 |
---|---|---|
committer | David S. Miller <davem@sunset.davemloft.net> | 2005-08-29 19:01:39 -0400 |
commit | 4c6ea29d82e0d1b9b37e6b879e0a7fd6c409333d (patch) | |
tree | a11270e23933664056cfd3d53e3ae2a661515d23 /include/linux/stop_machine.h | |
parent | 6ed8a48582c08432e84e5610564c1d25fe00dd7f (diff) |
[IP]: Introduce ip_options_get_from_user
This variant is needed to satisfy sparse __user annotations.
Signed-off-by: Arnaldo Carvalho de Melo <acme@mandriva.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
Diffstat (limited to 'include/linux/stop_machine.h')
0 files changed, 0 insertions, 0 deletions