lib/bpf/bpf_validate_debug.h - main - phprus/github_dpdk

lib/bpf/bpf_validate_debug.h
86 строк2 KB
Marat Khalili
bpf/validate: introduce debugging interface
03 июл 2026, 04:08
03 июл 2026, 04:086b0da06
/* SPDX-License-Identifier: BSD-3-Clause
 * Copyright(c) 2025 Huawei Technologies Co., Ltd
 */

#ifndef _BPF_VALIDATE_DEBUG_H_
#define _BPF_VALIDATE_DEBUG_H_

/**
 * @file bpf_validate_debug.h
 *
 * Internal-use headers for eBPF validation debug notifications.
 */

#include "rte_bpf_validate_debug.h"

#include <stdint.h>

#ifdef __cplusplus
extern "C" {
#endif

struct rte_bpf_prm_ex;
struct rte_bpf_validate_debug;
struct bpf_verifier;

/* Type alias for validation event enum. */
typedef enum rte_bpf_validate_debug_event debug_event_t;

/*
 * Signal beginning of evaluation process.
 *
 * Immediately return 0 if debug is NULL.
 *
 * @param debug
 *   Validate debug instance configured by user, can be NULL.
 * @param verifier
 *   Opaque pointer that can be used for calling bpf_validate.h API.
 * @param bpf_prm
 *   Parameters struct of the validated eBPF program, including code with all
 *   patches and relocations applied.
 * @return
 *   Non-negative value on success, negative errno on failure.
 */
int
__rte_bpf_validate_debug_evaluate_start(struct rte_bpf_validate_debug *debug,
	const struct bpf_verifier *verifier, const struct rte_bpf_prm_ex *bpf_prm);

/*
 * Signal each instruction, branch end, or evaluation end.
 *
 * Immediately return 0 if debug is NULL.
 *
 * @param debug
 *   Validate debug instance configured by user, can be NULL.
 * @param pc
 *   Current value of the program counter, or next after last instruction.
 * @param event
 *   Specific evaluation event if any, or RTE_BPF_VALIDATE_DEBUG_EVENT_STEP.
 * @return
 *   Non-negative value: evaluation should continue;
 *   -ECANCELED: evaluation should fail without calling this API again;
 *   Other negative value: evaluation should fail signalling failure;
 */
int
__rte_bpf_validate_debug_evaluate_step(struct rte_bpf_validate_debug *debug,
	uint32_t pc, debug_event_t event);

/*
 * Signal end of evaluation process.
 *
 * Immediately return 0 if debug is NULL.
 *
 * @param debug
 *   Validate debug instance configured by user, can be NULL.
 * @return
 *   Non-negative value on success, negative errno on failure.
 */
int
__rte_bpf_validate_debug_evaluate_finish(struct rte_bpf_validate_debug *debug,
	int result);

#ifdef __cplusplus
}
#endif

#endif /* _BPF_VALIDATE_DEBUG_H_ */