1 /* eBPF simulator support code header 2 Copyright (C) 2020-2023 Free Software Foundation, Inc. 3 4 This file is part of GDB, the GNU debugger. 5 6 This program is free software; you can redistribute it and/or modify 7 it under the terms of the GNU General Public License as published by 8 the Free Software Foundation; either version 3 of the License, or 9 (at your option) any later version. 10 11 This program is distributed in the hope that it will be useful, 12 but WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 GNU General Public License for more details. 15 16 You should have received a copy of the GNU General Public License 17 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 18 19 #ifndef BPF_SIM_H 20 #define BPF_SIM_H 21 22 void bpfbf_insn_before (sim_cpu* current_cpu, SEM_PC vpc, const IDESC *idesc); 23 void bpfbf_insn_after (sim_cpu* current_cpu, SEM_PC vpc, const IDESC *idesc); 24 25 DI bpfbf_endbe (SIM_CPU *, DI, UINT); 26 DI bpfbf_endle (SIM_CPU *, DI, UINT); 27 DI bpfbf_skb_data_offset (SIM_CPU *); 28 VOID bpfbf_call (SIM_CPU *, INT, UINT); 29 VOID bpfbf_exit (SIM_CPU *); 30 31 #endif /* ! BPF_SIM_H */ 32