Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Linux Socket Filter Data Structures |
| 3 | */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 4 | #ifndef __LINUX_FILTER_H__ |
| 5 | #define __LINUX_FILTER_H__ |
| 6 | |
Arun Sharma | 60063497 | 2011-07-26 16:09:06 -0700 | [diff] [blame] | 7 | #include <linux/atomic.h> |
Will Drewry | 0c5fe1b | 2012-04-12 16:47:53 -0500 | [diff] [blame] | 8 | #include <linux/compat.h> |
David Howells | 607ca46 | 2012-10-13 10:46:48 +0100 | [diff] [blame] | 9 | #include <uapi/linux/filter.h> |
Heiko Carstens | 792d4b5 | 2011-05-22 07:08:11 +0000 | [diff] [blame] | 10 | |
Will Drewry | 0c5fe1b | 2012-04-12 16:47:53 -0500 | [diff] [blame] | 11 | #ifdef CONFIG_COMPAT |
| 12 | /* |
| 13 | * A struct sock_filter is architecture independent. |
| 14 | */ |
| 15 | struct compat_sock_fprog { |
| 16 | u16 len; |
| 17 | compat_uptr_t filter; /* struct sock_filter * */ |
| 18 | }; |
| 19 | #endif |
| 20 | |
Heiko Carstens | 792d4b5 | 2011-05-22 07:08:11 +0000 | [diff] [blame] | 21 | struct sk_buff; |
| 22 | struct sock; |
| 23 | |
Stephen Hemminger | b715631 | 2008-04-10 01:33:47 -0700 | [diff] [blame] | 24 | struct sk_filter |
| 25 | { |
| 26 | atomic_t refcnt; |
| 27 | unsigned int len; /* Number of filter blocks */ |
Eric Dumazet | 0a14842 | 2011-04-20 09:27:32 +0000 | [diff] [blame] | 28 | unsigned int (*bpf_func)(const struct sk_buff *skb, |
| 29 | const struct sock_filter *filter); |
Stephen Hemminger | b715631 | 2008-04-10 01:33:47 -0700 | [diff] [blame] | 30 | struct rcu_head rcu; |
| 31 | struct sock_filter insns[0]; |
| 32 | }; |
| 33 | |
| 34 | static inline unsigned int sk_filter_len(const struct sk_filter *fp) |
| 35 | { |
| 36 | return fp->len * sizeof(struct sock_filter) + sizeof(*fp); |
| 37 | } |
| 38 | |
Stephen Hemminger | 43db6d6 | 2008-04-10 01:43:09 -0700 | [diff] [blame] | 39 | extern int sk_filter(struct sock *sk, struct sk_buff *skb); |
Eric Dumazet | 62ab081 | 2010-12-06 20:50:09 +0000 | [diff] [blame] | 40 | extern unsigned int sk_run_filter(const struct sk_buff *skb, |
Eric Dumazet | 93aaae2 | 2010-11-19 09:49:59 -0800 | [diff] [blame] | 41 | const struct sock_filter *filter); |
Jiri Pirko | 302d663 | 2012-03-31 11:01:19 +0000 | [diff] [blame] | 42 | extern int sk_unattached_filter_create(struct sk_filter **pfp, |
| 43 | struct sock_fprog *fprog); |
| 44 | extern void sk_unattached_filter_destroy(struct sk_filter *fp); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 45 | extern int sk_attach_filter(struct sock_fprog *fprog, struct sock *sk); |
Pavel Emelyanov | 55b3332 | 2007-10-17 21:21:26 -0700 | [diff] [blame] | 46 | extern int sk_detach_filter(struct sock *sk); |
Dan Carpenter | 4f25af2 | 2011-10-17 21:04:20 +0000 | [diff] [blame] | 47 | extern int sk_chk_filter(struct sock_filter *filter, unsigned int flen); |
Pavel Emelyanov | a8fc927 | 2012-11-01 02:01:48 +0000 | [diff] [blame] | 48 | extern int sk_get_filter(struct sock *sk, struct sock_filter __user *filter, unsigned len); |
Nicolas Dichtel | ed13998 | 2013-06-05 15:30:55 +0200 | [diff] [blame] | 49 | extern void sk_decode_filter(struct sock_filter *filt, struct sock_filter *to); |
Eric Dumazet | 0a14842 | 2011-04-20 09:27:32 +0000 | [diff] [blame] | 50 | |
| 51 | #ifdef CONFIG_BPF_JIT |
Xi Wang | 20074f3 | 2013-05-01 16:24:08 -0400 | [diff] [blame] | 52 | #include <stdarg.h> |
Chen Gang | a691ce7 | 2013-03-28 15:24:53 +0000 | [diff] [blame] | 53 | #include <linux/linkage.h> |
| 54 | #include <linux/printk.h> |
| 55 | |
Eric Dumazet | 0a14842 | 2011-04-20 09:27:32 +0000 | [diff] [blame] | 56 | extern void bpf_jit_compile(struct sk_filter *fp); |
| 57 | extern void bpf_jit_free(struct sk_filter *fp); |
Daniel Borkmann | 7961780 | 2013-03-21 22:22:03 +0100 | [diff] [blame] | 58 | |
| 59 | static inline void bpf_jit_dump(unsigned int flen, unsigned int proglen, |
| 60 | u32 pass, void *image) |
| 61 | { |
| 62 | pr_err("flen=%u proglen=%u pass=%u image=%p\n", |
| 63 | flen, proglen, pass, image); |
| 64 | if (image) |
| 65 | print_hex_dump(KERN_ERR, "JIT code: ", DUMP_PREFIX_ADDRESS, |
| 66 | 16, 1, image, proglen, false); |
| 67 | } |
Eric Dumazet | 0a14842 | 2011-04-20 09:27:32 +0000 | [diff] [blame] | 68 | #define SK_RUN_FILTER(FILTER, SKB) (*FILTER->bpf_func)(SKB, FILTER->insns) |
| 69 | #else |
| 70 | static inline void bpf_jit_compile(struct sk_filter *fp) |
| 71 | { |
| 72 | } |
| 73 | static inline void bpf_jit_free(struct sk_filter *fp) |
| 74 | { |
| 75 | } |
| 76 | #define SK_RUN_FILTER(FILTER, SKB) sk_run_filter(SKB, FILTER->insns) |
| 77 | #endif |
| 78 | |
| 79 | enum { |
| 80 | BPF_S_RET_K = 1, |
| 81 | BPF_S_RET_A, |
| 82 | BPF_S_ALU_ADD_K, |
| 83 | BPF_S_ALU_ADD_X, |
| 84 | BPF_S_ALU_SUB_K, |
| 85 | BPF_S_ALU_SUB_X, |
| 86 | BPF_S_ALU_MUL_K, |
| 87 | BPF_S_ALU_MUL_X, |
| 88 | BPF_S_ALU_DIV_X, |
Eric Dumazet | b6069a9 | 2012-09-07 22:03:35 +0000 | [diff] [blame] | 89 | BPF_S_ALU_MOD_K, |
| 90 | BPF_S_ALU_MOD_X, |
Eric Dumazet | 0a14842 | 2011-04-20 09:27:32 +0000 | [diff] [blame] | 91 | BPF_S_ALU_AND_K, |
| 92 | BPF_S_ALU_AND_X, |
| 93 | BPF_S_ALU_OR_K, |
| 94 | BPF_S_ALU_OR_X, |
Daniel Borkmann | 9e49e88 | 2012-09-24 02:23:59 +0000 | [diff] [blame] | 95 | BPF_S_ALU_XOR_K, |
| 96 | BPF_S_ALU_XOR_X, |
Eric Dumazet | 0a14842 | 2011-04-20 09:27:32 +0000 | [diff] [blame] | 97 | BPF_S_ALU_LSH_K, |
| 98 | BPF_S_ALU_LSH_X, |
| 99 | BPF_S_ALU_RSH_K, |
| 100 | BPF_S_ALU_RSH_X, |
| 101 | BPF_S_ALU_NEG, |
| 102 | BPF_S_LD_W_ABS, |
| 103 | BPF_S_LD_H_ABS, |
| 104 | BPF_S_LD_B_ABS, |
| 105 | BPF_S_LD_W_LEN, |
| 106 | BPF_S_LD_W_IND, |
| 107 | BPF_S_LD_H_IND, |
| 108 | BPF_S_LD_B_IND, |
| 109 | BPF_S_LD_IMM, |
| 110 | BPF_S_LDX_W_LEN, |
| 111 | BPF_S_LDX_B_MSH, |
| 112 | BPF_S_LDX_IMM, |
| 113 | BPF_S_MISC_TAX, |
| 114 | BPF_S_MISC_TXA, |
| 115 | BPF_S_ALU_DIV_K, |
| 116 | BPF_S_LD_MEM, |
| 117 | BPF_S_LDX_MEM, |
| 118 | BPF_S_ST, |
| 119 | BPF_S_STX, |
| 120 | BPF_S_JMP_JA, |
| 121 | BPF_S_JMP_JEQ_K, |
| 122 | BPF_S_JMP_JEQ_X, |
| 123 | BPF_S_JMP_JGE_K, |
| 124 | BPF_S_JMP_JGE_X, |
| 125 | BPF_S_JMP_JGT_K, |
| 126 | BPF_S_JMP_JGT_X, |
| 127 | BPF_S_JMP_JSET_K, |
| 128 | BPF_S_JMP_JSET_X, |
| 129 | /* Ancillary data */ |
| 130 | BPF_S_ANC_PROTOCOL, |
| 131 | BPF_S_ANC_PKTTYPE, |
| 132 | BPF_S_ANC_IFINDEX, |
| 133 | BPF_S_ANC_NLATTR, |
| 134 | BPF_S_ANC_NLATTR_NEST, |
| 135 | BPF_S_ANC_MARK, |
| 136 | BPF_S_ANC_QUEUE, |
| 137 | BPF_S_ANC_HATYPE, |
| 138 | BPF_S_ANC_RXHASH, |
| 139 | BPF_S_ANC_CPU, |
Jiri Pirko | ffe06c1 | 2012-03-31 11:01:20 +0000 | [diff] [blame] | 140 | BPF_S_ANC_ALU_XOR_X, |
Will Drewry | 46b325c | 2012-04-12 16:47:52 -0500 | [diff] [blame] | 141 | BPF_S_ANC_SECCOMP_LD_W, |
Eric Dumazet | f333503 | 2012-10-27 02:26:17 +0000 | [diff] [blame] | 142 | BPF_S_ANC_VLAN_TAG, |
| 143 | BPF_S_ANC_VLAN_TAG_PRESENT, |
Daniel Borkmann | 3e5289d | 2013-03-19 06:39:31 +0000 | [diff] [blame] | 144 | BPF_S_ANC_PAY_OFFSET, |
Eric Dumazet | 0a14842 | 2011-04-20 09:27:32 +0000 | [diff] [blame] | 145 | }; |
| 146 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 147 | #endif /* __LINUX_FILTER_H__ */ |