xref: /linux-6.15/include/linux/filter.h (revision 26ee65e6)
1 /*
2  * Linux Socket Filter Data Structures
3  */
4 #ifndef __LINUX_FILTER_H__
5 #define __LINUX_FILTER_H__
6 
7 #include <linux/atomic.h>
8 #include <linux/compat.h>
9 #include <uapi/linux/filter.h>
10 
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 
21 struct sk_buff;
22 struct sock;
23 
24 struct sk_filter
25 {
26 	atomic_t		refcnt;
27 	unsigned int         	len;	/* Number of filter blocks */
28 	unsigned int		(*bpf_func)(const struct sk_buff *skb,
29 					    const struct sock_filter *filter);
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 
39 extern int sk_filter(struct sock *sk, struct sk_buff *skb);
40 extern unsigned int sk_run_filter(const struct sk_buff *skb,
41 				  const struct sock_filter *filter);
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);
45 extern int sk_attach_filter(struct sock_fprog *fprog, struct sock *sk);
46 extern int sk_detach_filter(struct sock *sk);
47 extern int sk_chk_filter(struct sock_filter *filter, unsigned int flen);
48 extern int sk_get_filter(struct sock *sk, struct sock_filter __user *filter, unsigned len);
49 
50 #ifdef CONFIG_BPF_JIT
51 #include <linux/linkage.h>
52 #include <linux/printk.h>
53 
54 extern void bpf_jit_compile(struct sk_filter *fp);
55 extern void bpf_jit_free(struct sk_filter *fp);
56 
57 static inline void bpf_jit_dump(unsigned int flen, unsigned int proglen,
58 				u32 pass, void *image)
59 {
60 	pr_err("flen=%u proglen=%u pass=%u image=%p\n",
61 	       flen, proglen, pass, image);
62 	if (image)
63 		print_hex_dump(KERN_ERR, "JIT code: ", DUMP_PREFIX_ADDRESS,
64 			       16, 1, image, proglen, false);
65 }
66 #define SK_RUN_FILTER(FILTER, SKB) (*FILTER->bpf_func)(SKB, FILTER->insns)
67 #else
68 static inline void bpf_jit_compile(struct sk_filter *fp)
69 {
70 }
71 static inline void bpf_jit_free(struct sk_filter *fp)
72 {
73 }
74 #define SK_RUN_FILTER(FILTER, SKB) sk_run_filter(SKB, FILTER->insns)
75 #endif
76 
77 enum {
78 	BPF_S_RET_K = 1,
79 	BPF_S_RET_A,
80 	BPF_S_ALU_ADD_K,
81 	BPF_S_ALU_ADD_X,
82 	BPF_S_ALU_SUB_K,
83 	BPF_S_ALU_SUB_X,
84 	BPF_S_ALU_MUL_K,
85 	BPF_S_ALU_MUL_X,
86 	BPF_S_ALU_DIV_X,
87 	BPF_S_ALU_MOD_K,
88 	BPF_S_ALU_MOD_X,
89 	BPF_S_ALU_AND_K,
90 	BPF_S_ALU_AND_X,
91 	BPF_S_ALU_OR_K,
92 	BPF_S_ALU_OR_X,
93 	BPF_S_ALU_XOR_K,
94 	BPF_S_ALU_XOR_X,
95 	BPF_S_ALU_LSH_K,
96 	BPF_S_ALU_LSH_X,
97 	BPF_S_ALU_RSH_K,
98 	BPF_S_ALU_RSH_X,
99 	BPF_S_ALU_NEG,
100 	BPF_S_LD_W_ABS,
101 	BPF_S_LD_H_ABS,
102 	BPF_S_LD_B_ABS,
103 	BPF_S_LD_W_LEN,
104 	BPF_S_LD_W_IND,
105 	BPF_S_LD_H_IND,
106 	BPF_S_LD_B_IND,
107 	BPF_S_LD_IMM,
108 	BPF_S_LDX_W_LEN,
109 	BPF_S_LDX_B_MSH,
110 	BPF_S_LDX_IMM,
111 	BPF_S_MISC_TAX,
112 	BPF_S_MISC_TXA,
113 	BPF_S_ALU_DIV_K,
114 	BPF_S_LD_MEM,
115 	BPF_S_LDX_MEM,
116 	BPF_S_ST,
117 	BPF_S_STX,
118 	BPF_S_JMP_JA,
119 	BPF_S_JMP_JEQ_K,
120 	BPF_S_JMP_JEQ_X,
121 	BPF_S_JMP_JGE_K,
122 	BPF_S_JMP_JGE_X,
123 	BPF_S_JMP_JGT_K,
124 	BPF_S_JMP_JGT_X,
125 	BPF_S_JMP_JSET_K,
126 	BPF_S_JMP_JSET_X,
127 	/* Ancillary data */
128 	BPF_S_ANC_PROTOCOL,
129 	BPF_S_ANC_PKTTYPE,
130 	BPF_S_ANC_IFINDEX,
131 	BPF_S_ANC_NLATTR,
132 	BPF_S_ANC_NLATTR_NEST,
133 	BPF_S_ANC_MARK,
134 	BPF_S_ANC_QUEUE,
135 	BPF_S_ANC_HATYPE,
136 	BPF_S_ANC_RXHASH,
137 	BPF_S_ANC_CPU,
138 	BPF_S_ANC_ALU_XOR_X,
139 	BPF_S_ANC_SECCOMP_LD_W,
140 	BPF_S_ANC_VLAN_TAG,
141 	BPF_S_ANC_VLAN_TAG_PRESENT,
142 	BPF_S_ANC_PAY_OFFSET,
143 };
144 
145 #endif /* __LINUX_FILTER_H__ */
146