eBPF for Windows
Loading...
Searching...
No Matches
bpf2c.h
Go to the documentation of this file.
1// Copyright (c) eBPF for Windows contributors
2// SPDX-License-Identifier: MIT
3#pragma once
4
5#include "ebpf_structs.h"
6
7#if defined(NO_CRT)
8typedef signed char int8_t;
9typedef short int16_t;
10typedef int int32_t;
11typedef long long int64_t;
12typedef unsigned char uint8_t;
13typedef unsigned short uint16_t;
14typedef unsigned int uint32_t;
15typedef unsigned long long uint64_t;
16#define bool _Bool
17#define false 0
18#define true 1
19#define UINT32_MAX ((uint32_t)0xFFFFFFFF)
20
21#else
22#include <stdbool.h>
23#include <stddef.h>
24#include <stdint.h>
25#endif
26
27#ifdef __cplusplus
28extern "C"
29{
30#endif
31
32#define UBPF_STACK_SIZE 512
33
34#define IMMEDIATE(X) (int32_t)X
35#define OFFSET(X) (int16_t)X
36#define POINTER(X) (uint64_t)(X)
37
38#define READ_ONCE_64(destination, source, offset) \
39 destination = (uint64_t)ReadNoFence64((volatile const long long*)(source + offset))
40#define READ_ONCE_32(destination, source, offset) \
41 destination = (uint32_t)ReadNoFence((volatile const long*)(source + offset))
42#define READ_ONCE_16(destination, source, offset) \
43 destination = (uint16_t)ReadNoFence16((volatile const short*)(source + offset))
44#define READ_ONCE_8(destination, source, offset) \
45 destination = (uint8_t)ReadNoFence8((volatile const char*)(source + offset))
46
47#define WRITE_ONCE_64(destination, source, offset) \
48 WriteNoFence64((volatile long long*)(destination + offset), (long long)source)
49#define WRITE_ONCE_32(destination, source, offset) WriteNoFence((volatile long*)(destination + offset), (long)source)
50#define WRITE_ONCE_16(destination, source, offset) \
51 WriteNoFence16((volatile short*)(destination + offset), (short)source)
52#define WRITE_ONCE_8(destination, source, offset) WriteNoFence8((volatile char*)(destination + offset), (char)source)
53
54#if !defined(htobe16)
55#define htobe16(X) swap16(X)
56#define htobe32(X) swap32(X)
57#define htobe64(X) swap64(X)
58
59#define htole16(X) (X)
60#define htole32(X) (X)
61#define htole64(X) (X)
62#endif
63
64#if !defined(UNREFERENCED_PARAMETER)
65#define UNREFERENCED_PARAMETER(P) (P)
66#endif
67
68 typedef uint64_t (*helper_function_t)(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, void*);
69
82
89
95 typedef struct _map_entry
96 {
97 // DLLs put the strings into the same section with 4, 8 or 16
98 // byte alignment, so add a 16-byte marker at the start of a map
99 // entry to make it easy to find entries in the maps section.
100 uint64_t zero_marker[2];
101
104 const char* name;
106
112
119 typedef struct _map_initial_values
120 {
122 const char* name; // Name of the map.
123 size_t count; // Number of values in the map.
124 const char** values; // Array of strings containing the initial values.
126
134
140
148
153 typedef struct _program_entry
154 {
155 // DLLs put the strings into the same section, so add a marker
156 // at the start of a program entry to make it easy to find
157 // entries in the programs section.
158 uint64_t zero;
159
161 uint64_t (*function)(void*, const program_runtime_context_t*);
162 const char* pe_section_name;
163 const char* section_name;
164 const char* program_name;
168 uint16_t helper_count;
172 const uint8_t* program_info_hash;
176
182 typedef struct _bpf2c_version
183 {
184 uint32_t major;
185 uint32_t minor;
186 uint32_t revision;
188
194 typedef struct _metadata_table
195 {
196 size_t size;
197 void (*programs)(
198 _Outptr_result_buffer_maybenull_(*count) program_entry_t** programs,
199 _Out_ size_t* count);
200 void (*maps)(
201 _Outptr_result_buffer_maybenull_(*count) map_entry_t** maps,
202 _Out_ size_t* count);
203 void (*hash)(
204 _Outptr_result_buffer_maybenull_(*size) const uint8_t** hash,
205 _Out_ size_t* size);
208 _Outptr_result_buffer_maybenull_(*count) map_initial_values_t** map_initial_values,
209 _Out_ size_t* count);
211 _Outptr_result_buffer_maybenull_(*count) global_variable_section_info_t** global_variable_sections,
212 _Out_ size_t* count);
214
221 inline uint16_t
222 swap16(uint16_t value)
223 {
224 return value << 8 | value >> 8;
225 }
226
233 inline uint32_t
234 swap32(uint32_t value)
235 {
236 return swap16(value >> 16) | ((uint32_t)swap16(value & ((1 << 16) - 1))) << 16;
237 }
238
245 inline uint64_t
246 swap64(uint64_t value)
247 {
248 return swap32(value >> 32) | ((uint64_t)swap32(value & ((1ull << 32ull) - 1))) << 32;
249 }
250
251#define EBPF_NATIVE_HELPER_FUNCTION_ENTRY_CURRENT_VERSION 1
252#define EBPF_NATIVE_HELPER_FUNCTION_ENTRY_CURRENT_VERSION_SIZE EBPF_SIZE_INCLUDING_FIELD(helper_function_entry_t, name)
253#define EBPF_NATIVE_HELPER_FUNCTION_ENTRY_CURRENT_VERSION_TOTAL_SIZE sizeof(helper_function_entry_t)
254#define EBPF_NATIVE_HELPER_FUNCTION_ENTRY_HEADER \
255 {EBPF_NATIVE_HELPER_FUNCTION_ENTRY_CURRENT_VERSION, \
256 EBPF_NATIVE_HELPER_FUNCTION_ENTRY_CURRENT_VERSION_SIZE, \
257 EBPF_NATIVE_HELPER_FUNCTION_ENTRY_CURRENT_VERSION_TOTAL_SIZE}
258
259#define EBPF_NATIVE_HELPER_FUNCTION_DATA_CURRENT_VERSION 1
260#define EBPF_NATIVE_HELPER_FUNCTION_DATA_CURRENT_VERSION_SIZE \
261 EBPF_SIZE_INCLUDING_FIELD(helper_function_data_t, tail_call)
262#define EBPF_NATIVE_HELPER_FUNCTION_DATA_CURRENT_VERSION_TOTAL_SIZE sizeof(helper_function_data_t)
263#define EBPF_NATIVE_HELPER_FUNCTION_DATA_HEADER \
264 {EBPF_NATIVE_HELPER_FUNCTION_DATA_CURRENT_VERSION, \
265 EBPF_NATIVE_HELPER_FUNCTION_DATA_CURRENT_VERSION_SIZE, \
266 EBPF_NATIVE_HELPER_FUNCTION_DATA_CURRENT_VERSION_TOTAL_SIZE}
267
268#define EBPF_NATIVE_MAP_ENTRY_CURRENT_VERSION 1
269#define EBPF_NATIVE_MAP_ENTRY_CURRENT_VERSION_SIZE EBPF_SIZE_INCLUDING_FIELD(map_entry_t, name)
270#define EBPF_NATIVE_MAP_ENTRY_CURRENT_VERSION_TOTAL_SIZE sizeof(map_entry_t)
271#define EBPF_NATIVE_MAP_ENTRY_HEADER \
272 {EBPF_NATIVE_MAP_ENTRY_CURRENT_VERSION, \
273 EBPF_NATIVE_MAP_ENTRY_CURRENT_VERSION_SIZE, \
274 EBPF_NATIVE_MAP_ENTRY_CURRENT_VERSION_TOTAL_SIZE}
275
276#define EBPF_NATIVE_MAP_DATA_CURRENT_VERSION 1
277#define EBPF_NATIVE_MAP_DATA_CURRENT_VERSION_SIZE EBPF_SIZE_INCLUDING_FIELD(map_data_t, address)
278#define EBPF_NATIVE_MAP_DATA_CURRENT_VERSION_TOTAL_SIZE sizeof(map_data_t)
279#define EBPF_NATIVE_MAP_DATA_HEADER \
280 {EBPF_NATIVE_MAP_DATA_CURRENT_VERSION, \
281 EBPF_NATIVE_MAP_DATA_CURRENT_VERSION_SIZE, \
282 EBPF_NATIVE_MAP_DATA_CURRENT_VERSION_TOTAL_SIZE}
283
284#define EBPF_NATIVE_PROGRAM_ENTRY_CURRENT_VERSION 1
285#define EBPF_NATIVE_PROGRAM_ENTRY_CURRENT_VERSION_SIZE \
286 EBPF_SIZE_INCLUDING_FIELD(program_entry_t, program_info_hash_type)
287#define EBPF_NATIVE_PROGRAM_ENTRY_CURRENT_VERSION_TOTAL_SIZE sizeof(program_entry_t)
288#define EBPF_NATIVE_PROGRAM_ENTRY_HEADER \
289 {EBPF_NATIVE_PROGRAM_ENTRY_CURRENT_VERSION, \
290 EBPF_NATIVE_PROGRAM_ENTRY_CURRENT_VERSION_SIZE, \
291 EBPF_NATIVE_PROGRAM_ENTRY_CURRENT_VERSION_TOTAL_SIZE}
292
293#define EBPF_NATIVE_PROGRAM_RUNTIME_CONTEXT_CURRENT_VERSION 1
294#define EBPF_NATIVE_PROGRAM_RUNTIME_CONTEXT_CURRENT_VERSION_SIZE \
295 EBPF_SIZE_INCLUDING_FIELD(program_runtime_context_t, map_data)
296#define EBPF_NATIVE_PROGRAM_RUNTIME_CONTEXT_CURRENT_VERSION_TOTAL_SIZE sizeof(program_runtime_context_t)
297#define EBPF_NATIVE_PROGRAM_RUNTIME_CONTEXT_HEADER \
298 {EBPF_NATIVE_PROGRAM_RUNTIME_CONTEXT_CURRENT_VERSION, \
299 EBPF_NATIVE_PROGRAM_RUNTIME_CONTEXT_CURRENT_VERSION_SIZE, \
300 EBPF_NATIVE_PROGRAM_RUNTIME_CONTEXT_CURRENT_VERSION_TOTAL_SIZE}
301
302#define EBPF_NATIVE_MAP_INITIAL_VALUES_CURRENT_VERSION 1
303#define EBPF_NATIVE_MAP_INITIAL_VALUES_CURRENT_VERSION_SIZE EBPF_SIZE_INCLUDING_FIELD(map_initial_values_t, values)
304#define EBPF_NATIVE_MAP_INITIAL_VALUES_CURRENT_VERSION_TOTAL_SIZE sizeof(map_initial_values_t)
305#define EBPF_NATIVE_MAP_INITIAL_VALUES_HEADER \
306 {EBPF_NATIVE_MAP_INITIAL_VALUES_CURRENT_VERSION, \
307 EBPF_NATIVE_MAP_INITIAL_VALUES_CURRENT_VERSION_SIZE, \
308 EBPF_NATIVE_MAP_INITIAL_VALUES_CURRENT_VERSION_TOTAL_SIZE}
309
310#define EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_INFO_CURRENT_VERSION 1
311#define EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_INFO_CURRENT_VERSION_SIZE \
312 EBPF_SIZE_INCLUDING_FIELD(global_variable_section_info_t, initial_data)
313#define EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_INFO_CURRENT_VERSION_TOTAL_SIZE sizeof(global_variable_section_info_t)
314#define EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_INFO_HEADER \
315 {EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_INFO_CURRENT_VERSION, \
316 EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_INFO_CURRENT_VERSION_SIZE, \
317 EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_INFO_CURRENT_VERSION_TOTAL_SIZE}
318
319#define EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_DATA_CURRENT_VERSION 1
320#define EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_DATA_CURRENT_VERSION_SIZE \
321 EBPF_SIZE_INCLUDING_FIELD(global_variable_section_data_t, address_of_map_value)
322#define EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_DATA_CURRENT_VERSION_TOTAL_SIZE sizeof(global_variable_section_data_t)
323#define EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_DATA_HEADER \
324 {EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_DATA_CURRENT_VERSION, \
325 EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_DATA_CURRENT_VERSION_SIZE, \
326 EBPF_NATIVE_GLOBAL_VARIABLE_SECTION_DATA_CURRENT_VERSION_TOTAL_SIZE}
327
328#define EBPF_NATIVE_METADATA_TABLE_CURRENT_VERSION 1
329#define EBPF_NATIVE_METADATA_TABLE_CURRENT_VERSION_SIZE EBPF_SIZE_INCLUDING_FIELD(metadata_table_t, map_initial_values)
330#define EBPF_NATIVE_METADATA_TABLE_CURRENT_VERSION_TOTAL_SIZE sizeof(metadata_table_t)
331#define EBPF_NATIVE_METADATA_TABLE_HEADER \
332 {EBPF_NATIVE_METADATA_TABLE_CURRENT_VERSION, \
333 EBPF_NATIVE_METADATA_TABLE_CURRENT_VERSION_SIZE, \
334 EBPF_NATIVE_METADATA_TABLE_CURRENT_VERSION_TOTAL_SIZE}
335
336#ifdef __cplusplus
337}
338#endif
struct _program_runtime_context program_runtime_context_t
struct _global_variable_section_info global_variable_section_info_t
struct _helper_function_data helper_function_data_t
uint64_t swap64(uint64_t value)
Inline function used to implement the 64 bit EBPF_OP_LE/EBPF_OP_BE instruction.
Definition bpf2c.h:246
uint64_t(* helper_function_t)(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, void *)
Definition bpf2c.h:68
struct _map_initial_values map_initial_values_t
Map initial values. This structure contains the initial values for a map. The values are used to init...
struct _map_entry map_entry_t
Map entry. This structure contains the address of the map and the map definition. The address is writ...
struct _helper_function_entry helper_function_entry_t
Helper function entry. This structure defines a helper function entry in the metadata table....
uint32_t swap32(uint32_t value)
Inline function used to implement the 32 bit EBPF_OP_LE/EBPF_OP_BE instruction.
Definition bpf2c.h:234
struct _global_variable_section_data global_variable_section_data_t
uint16_t swap16(uint16_t value)
Inline function used to implement the 16 bit EBPF_OP_LE/EBPF_OP_BE instruction.
Definition bpf2c.h:222
struct _program_entry program_entry_t
Program entry. This structure contains the address of the program and additional information about th...
struct _bpf2c_version bpf2c_version_t
Version information for the bpf2c compiler. This structure contains the version information for the b...
struct _metadata_table metadata_table_t
Metadata table for a module. This structure is returned by the module's metadata function,...
struct _map_data map_data_t
This file contains eBPF definitions common to eBPF programs, core execution engine as well as eBPF AP...
GUID ebpf_attach_type_t
Definition ebpf_windows.h:62
GUID ebpf_program_type_t
Definition ebpf_windows.h:61
Version information for the bpf2c compiler. This structure contains the version information for the b...
Definition bpf2c.h:183
uint32_t major
Definition bpf2c.h:184
uint32_t revision
Definition bpf2c.h:186
uint32_t minor
Definition bpf2c.h:185
Header of an eBPF extension data structure. Every eBPF extension data structure must start with this ...
Definition ebpf_windows.h:153
eBPF Map Definition as it appears in the maps section of an ELF file.
Definition ebpf_structs.h:119
Definition bpf2c.h:136
unsigned char * address_of_map_value
Definition bpf2c.h:138
ebpf_native_module_header_t header
Definition bpf2c.h:137
Definition bpf2c.h:128
size_t size
Definition bpf2c.h:131
const void * initial_data
Definition bpf2c.h:132
const char * name
Definition bpf2c.h:130
ebpf_native_module_header_t header
Definition bpf2c.h:129
Definition bpf2c.h:84
bool tail_call
Definition bpf2c.h:87
helper_function_t address
Definition bpf2c.h:86
ebpf_native_module_header_t header
Definition bpf2c.h:85
Helper function entry. This structure defines a helper function entry in the metadata table....
Definition bpf2c.h:77
const char * name
Definition bpf2c.h:80
uint32_t helper_id
Definition bpf2c.h:79
ebpf_native_module_header_t header
Definition bpf2c.h:78
Definition bpf2c.h:108
uintptr_t address
Definition bpf2c.h:110
ebpf_native_module_header_t header
Definition bpf2c.h:109
Map entry. This structure contains the address of the map and the map definition. The address is writ...
Definition bpf2c.h:96
ebpf_map_definition_in_file_t definition
Definition bpf2c.h:103
uint64_t zero_marker[2]
Definition bpf2c.h:100
ebpf_native_module_header_t header
Definition bpf2c.h:102
const char * name
Definition bpf2c.h:104
Map initial values. This structure contains the initial values for a map. The values are used to init...
Definition bpf2c.h:120
const char ** values
Definition bpf2c.h:124
size_t count
Definition bpf2c.h:123
ebpf_native_module_header_t header
Definition bpf2c.h:121
const char * name
Definition bpf2c.h:122
Metadata table for a module. This structure is returned by the module's metadata function,...
Definition bpf2c.h:195
void(* version)(bpf2c_version_t *version)
Definition bpf2c.h:206
size_t size
Size of this structure. Used for versioning.
Definition bpf2c.h:196
void(* map_initial_values)((*count) map_initial_values_t **map_initial_values, size_t *count)
Returns the list of initial values for maps in this module.
Definition bpf2c.h:207
void(* global_variable_sections)((*count) global_variable_section_info_t **global_variable_sections, size_t *count)
Returns the list of global variables in this module.
Definition bpf2c.h:210
void(* programs)((*count) program_entry_t **programs, size_t *count)
Returns the list of programs in this module.
Definition bpf2c.h:197
void(* hash)((*size) const uint8_t **hash, size_t *size)
Returns the hash of the ELF file used to generate this module.
Definition bpf2c.h:203
void(* maps)((*count) map_entry_t **maps, size_t *count)
Returns the list of maps in this module.
Definition bpf2c.h:200
Program entry. This structure contains the address of the program and additional information about th...
Definition bpf2c.h:154
uint16_t helper_count
Number of helper functions used by the program.
Definition bpf2c.h:168
uint64_t zero
Definition bpf2c.h:158
const char * program_info_hash_type
Type of the program info hash.
Definition bpf2c.h:174
uint16_t referenced_map_count
Number of maps referenced by the program.
Definition bpf2c.h:166
const char * program_name
Name of the program.
Definition bpf2c.h:164
size_t bpf_instruction_count
Number of BPF instructions in the program.
Definition bpf2c.h:169
uint64_t(* function)(void *, const program_runtime_context_t *)
Address of the program.
Definition bpf2c.h:161
ebpf_native_module_header_t header
Definition bpf2c.h:160
size_t program_info_hash_length
Length of the program info hash.
Definition bpf2c.h:173
uint16_t * referenced_map_indices
List of map indices referenced by the program.
Definition bpf2c.h:165
ebpf_attach_type_t * expected_attach_type
Expected attach type of the program.
Definition bpf2c.h:171
const char * pe_section_name
Name of the PE section containing the program.
Definition bpf2c.h:162
const uint8_t * program_info_hash
Hash of the program info.
Definition bpf2c.h:172
const char * section_name
Name of the section containing the program.
Definition bpf2c.h:163
ebpf_program_type_t * program_type
Type of the program.
Definition bpf2c.h:170
helper_function_entry_t * helpers
List of helper functions used by the program.
Definition bpf2c.h:167
Definition bpf2c.h:142
map_data_t * map_data
Definition bpf2c.h:145
global_variable_section_data_t * global_variable_section_data
Definition bpf2c.h:146
helper_function_data_t * helper_data
Definition bpf2c.h:144
ebpf_native_module_header_t header
Definition bpf2c.h:143