blob: a9ebdf5701e8ddc62eae3979d75999f874760313 [file] [log] [blame]
Alexei Starovoitovdaedfb22014-09-04 22:17:18 -07001/* Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com
2 *
3 * This program is free software; you can redistribute it and/or
4 * modify it under the terms of version 2 of the GNU General Public
5 * License as published by the Free Software Foundation.
6 */
7#ifndef _UAPI__LINUX_BPF_H__
8#define _UAPI__LINUX_BPF_H__
9
10#include <linux/types.h>
Alexei Starovoitovc15952d2014-10-14 02:08:54 -070011#include <linux/bpf_common.h>
Alexei Starovoitovdaedfb22014-09-04 22:17:18 -070012
13/* Extended instruction set based on top of classic BPF */
14
15/* instruction classes */
16#define BPF_ALU64 0x07 /* alu mode in double word width */
17
18/* ld/ldx fields */
19#define BPF_DW 0x18 /* double word */
20#define BPF_XADD 0xc0 /* exclusive add */
21
22/* alu/jmp fields */
23#define BPF_MOV 0xb0 /* mov reg to reg */
24#define BPF_ARSH 0xc0 /* sign extending arithmetic shift right */
25
26/* change endianness of a register */
27#define BPF_END 0xd0 /* flags for endianness conversion: */
28#define BPF_TO_LE 0x00 /* convert to little-endian */
29#define BPF_TO_BE 0x08 /* convert to big-endian */
30#define BPF_FROM_LE BPF_TO_LE
31#define BPF_FROM_BE BPF_TO_BE
32
33#define BPF_JNE 0x50 /* jump != */
34#define BPF_JSGT 0x60 /* SGT is signed '>', GT in x86 */
35#define BPF_JSGE 0x70 /* SGE is signed '>=', GE in x86 */
36#define BPF_CALL 0x80 /* function call */
37#define BPF_EXIT 0x90 /* function return */
38
39/* Register numbers */
40enum {
41 BPF_REG_0 = 0,
42 BPF_REG_1,
43 BPF_REG_2,
44 BPF_REG_3,
45 BPF_REG_4,
46 BPF_REG_5,
47 BPF_REG_6,
48 BPF_REG_7,
49 BPF_REG_8,
50 BPF_REG_9,
51 BPF_REG_10,
52 __MAX_BPF_REG,
53};
54
55/* BPF has 10 general purpose 64-bit registers and stack frame. */
56#define MAX_BPF_REG __MAX_BPF_REG
57
58struct bpf_insn {
59 __u8 code; /* opcode */
60 __u8 dst_reg:4; /* dest register */
61 __u8 src_reg:4; /* source register */
62 __s16 off; /* signed offset */
63 __s32 imm; /* signed immediate constant */
64};
65
Alexei Starovoitov99c55f72014-09-26 00:16:57 -070066/* BPF syscall commands */
67enum bpf_cmd {
68 /* create a map with given type and attributes
69 * fd = bpf(BPF_MAP_CREATE, union bpf_attr *, u32 size)
70 * returns fd or negative error
71 * map is deleted when fd is closed
72 */
73 BPF_MAP_CREATE,
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -070074
75 /* lookup key in a given map
76 * err = bpf(BPF_MAP_LOOKUP_ELEM, union bpf_attr *attr, u32 size)
77 * Using attr->map_fd, attr->key, attr->value
78 * returns zero and stores found elem into value
79 * or negative error
80 */
81 BPF_MAP_LOOKUP_ELEM,
82
83 /* create or update key/value pair in a given map
84 * err = bpf(BPF_MAP_UPDATE_ELEM, union bpf_attr *attr, u32 size)
Alexei Starovoitov3274f522014-11-13 17:36:44 -080085 * Using attr->map_fd, attr->key, attr->value, attr->flags
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -070086 * returns zero or negative error
87 */
88 BPF_MAP_UPDATE_ELEM,
89
90 /* find and delete elem by key in a given map
91 * err = bpf(BPF_MAP_DELETE_ELEM, union bpf_attr *attr, u32 size)
92 * Using attr->map_fd, attr->key
93 * returns zero or negative error
94 */
95 BPF_MAP_DELETE_ELEM,
96
97 /* lookup key in a given map and return next key
98 * err = bpf(BPF_MAP_GET_NEXT_KEY, union bpf_attr *attr, u32 size)
99 * Using attr->map_fd, attr->key, attr->next_key
100 * returns zero and stores next key or negative error
101 */
102 BPF_MAP_GET_NEXT_KEY,
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700103
104 /* verify and load eBPF program
105 * prog_fd = bpf(BPF_PROG_LOAD, union bpf_attr *attr, u32 size)
106 * Using attr->prog_type, attr->insns, attr->license
107 * returns fd or negative error
108 */
109 BPF_PROG_LOAD,
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700110};
111
112enum bpf_map_type {
113 BPF_MAP_TYPE_UNSPEC,
Alexei Starovoitov0f8e4bd2014-11-13 17:36:45 -0800114 BPF_MAP_TYPE_HASH,
Alexei Starovoitov28fbcfa2014-11-13 17:36:46 -0800115 BPF_MAP_TYPE_ARRAY,
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700116};
117
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700118enum bpf_prog_type {
119 BPF_PROG_TYPE_UNSPEC,
Alexei Starovoitovddd872b2014-12-01 15:06:34 -0800120 BPF_PROG_TYPE_SOCKET_FILTER,
Alexei Starovoitov25415172015-03-25 12:49:20 -0700121 BPF_PROG_TYPE_KPROBE,
Daniel Borkmann96be4322015-03-01 12:31:46 +0100122 BPF_PROG_TYPE_SCHED_CLS,
Daniel Borkmann94caee82015-03-20 15:11:11 +0100123 BPF_PROG_TYPE_SCHED_ACT,
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700124};
125
Daniel Borkmannf1a66f82015-03-01 12:31:43 +0100126#define BPF_PSEUDO_MAP_FD 1
127
Alexei Starovoitov3274f522014-11-13 17:36:44 -0800128/* flags for BPF_MAP_UPDATE_ELEM command */
129#define BPF_ANY 0 /* create new element or update existing */
130#define BPF_NOEXIST 1 /* create new element if it didn't exist */
131#define BPF_EXIST 2 /* update existing element */
132
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700133union bpf_attr {
134 struct { /* anonymous struct used by BPF_MAP_CREATE command */
135 __u32 map_type; /* one of enum bpf_map_type */
136 __u32 key_size; /* size of key in bytes */
137 __u32 value_size; /* size of value in bytes */
138 __u32 max_entries; /* max number of entries in a map */
139 };
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700140
141 struct { /* anonymous struct used by BPF_MAP_*_ELEM commands */
142 __u32 map_fd;
143 __aligned_u64 key;
144 union {
145 __aligned_u64 value;
146 __aligned_u64 next_key;
147 };
Alexei Starovoitov3274f522014-11-13 17:36:44 -0800148 __u64 flags;
Alexei Starovoitovdb20fd22014-09-26 00:16:59 -0700149 };
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700150
151 struct { /* anonymous struct used by BPF_PROG_LOAD command */
152 __u32 prog_type; /* one of enum bpf_prog_type */
153 __u32 insn_cnt;
154 __aligned_u64 insns;
155 __aligned_u64 license;
Alexei Starovoitovcbd35702014-09-26 00:17:03 -0700156 __u32 log_level; /* verbosity level of verifier */
157 __u32 log_size; /* size of user buffer */
158 __aligned_u64 log_buf; /* user supplied buffer */
Alexei Starovoitov25415172015-03-25 12:49:20 -0700159 __u32 kern_version; /* checked when prog_type=kprobe */
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700160 };
Alexei Starovoitov99c55f72014-09-26 00:16:57 -0700161} __attribute__((aligned(8)));
162
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700163/* integer value in 'imm' field of BPF_CALL instruction selects which helper
164 * function eBPF program intends to call
165 */
166enum bpf_func_id {
167 BPF_FUNC_unspec,
Alexei Starovoitovd0003ec2014-11-13 17:36:49 -0800168 BPF_FUNC_map_lookup_elem, /* void *map_lookup_elem(&map, &key) */
169 BPF_FUNC_map_update_elem, /* int map_update_elem(&map, &key, &value, flags) */
170 BPF_FUNC_map_delete_elem, /* int map_delete_elem(&map, &key) */
Alexei Starovoitov25415172015-03-25 12:49:20 -0700171 BPF_FUNC_probe_read, /* int bpf_probe_read(void *dst, int size, void *src) */
Alexei Starovoitovd9847d32015-03-25 12:49:21 -0700172 BPF_FUNC_ktime_get_ns, /* u64 bpf_ktime_get_ns(void) */
Alexei Starovoitov9c959c82015-03-25 12:49:22 -0700173 BPF_FUNC_trace_printk, /* int bpf_trace_printk(const char *fmt, int fmt_size, ...) */
Daniel Borkmann03e69b52015-03-14 02:27:16 +0100174 BPF_FUNC_get_prandom_u32, /* u32 prandom_u32(void) */
Daniel Borkmannc04167c2015-03-14 02:27:17 +0100175 BPF_FUNC_get_smp_processor_id, /* u32 raw_smp_processor_id(void) */
Alexei Starovoitov91bc48222015-04-01 17:12:13 -0700176
177 /**
178 * skb_store_bytes(skb, offset, from, len, flags) - store bytes into packet
179 * @skb: pointer to skb
Alexei Starovoitova1661512015-04-15 12:55:45 -0700180 * @offset: offset within packet from skb->mac_header
Alexei Starovoitov91bc48222015-04-01 17:12:13 -0700181 * @from: pointer where to copy bytes from
182 * @len: number of bytes to store into packet
183 * @flags: bit 0 - if true, recompute skb->csum
184 * other bits - reserved
185 * Return: 0 on success
186 */
187 BPF_FUNC_skb_store_bytes,
188
189 /**
190 * l3_csum_replace(skb, offset, from, to, flags) - recompute IP checksum
191 * @skb: pointer to skb
192 * @offset: offset within packet where IP checksum is located
193 * @from: old value of header field
194 * @to: new value of header field
195 * @flags: bits 0-3 - size of header field
196 * other bits - reserved
197 * Return: 0 on success
198 */
199 BPF_FUNC_l3_csum_replace,
200
201 /**
202 * l4_csum_replace(skb, offset, from, to, flags) - recompute TCP/UDP checksum
203 * @skb: pointer to skb
204 * @offset: offset within packet where TCP/UDP checksum is located
205 * @from: old value of header field
206 * @to: new value of header field
207 * @flags: bits 0-3 - size of header field
208 * bit 4 - is pseudo header
209 * other bits - reserved
210 * Return: 0 on success
211 */
212 BPF_FUNC_l4_csum_replace,
Alexei Starovoitov09756af2014-09-26 00:17:00 -0700213 __BPF_FUNC_MAX_ID,
214};
215
Alexei Starovoitov9bac3d62015-03-13 11:57:42 -0700216/* user accessible mirror of in-kernel sk_buff.
217 * new fields can only be added to the end of this structure
218 */
219struct __sk_buff {
220 __u32 len;
221 __u32 pkt_type;
222 __u32 mark;
223 __u32 queue_mapping;
Alexei Starovoitovc2497392015-03-16 18:06:02 -0700224 __u32 protocol;
225 __u32 vlan_present;
226 __u32 vlan_tci;
Michal Sekletar27cd5452015-03-24 14:48:41 +0100227 __u32 vlan_proto;
Daniel Borkmannbcad5712015-04-03 20:52:24 +0200228 __u32 priority;
Alexei Starovoitov9bac3d62015-03-13 11:57:42 -0700229};
230
Alexei Starovoitovdaedfb22014-09-04 22:17:18 -0700231#endif /* _UAPI__LINUX_BPF_H__ */