P4C
The P4 Compiler
Loading...
Searching...
No Matches
ebpf_runtime_kernel.h
1/*
2 * Copyright 2018 VMware, Inc.
3 * SPDX-FileCopyrightText: 2018 VMware, Inc.
4 *
5 * SPDX-License-Identifier: Apache-2.0
6 */
7
12#ifndef BACKENDS_EBPF_RUNTIME_EBPF_RUNTIME_KERNEL_H_
13#define BACKENDS_EBPF_RUNTIME_EBPF_RUNTIME_KERNEL_H_
14
15#include "pcap_util.h"
16#include "ebpf_runtime_kernel.h"
17
18void run_and_record_output(pcap_list_t *pkt_list, char *pcap_base, uint16_t num_pcaps, int debug);
19
20#define RUN(ebpf_filter, pcap_base, num_pcaps, input_list, debug) \
21 run_and_record_output(input_list, pcap_base, num_pcaps, debug)
22#define INIT_EBPF_TABLES(debug)
23#define DELETE_EBPF_TABLES(debug)
24
25#endif // BACKENDS_EBPF_RUNTIME_EBPF_RUNTIME_KERNEL_H_