Function bpf_program_load 

pub fn bpf_program_load(
    request: &BpfProgramLoadRequest<'_>,
    verifier_log: Option<&mut [u8]>,
) -> Result<BpfProgram, Errno>

BPF_PROG_LOAD — charge un programme déjà assemblé.

En cas de rejet du vérifieur, verifier_log (s’il est fourni) est rempli avec le diagnostic textuel — indispensable au débogage.

bpf_program_load n’est pas unsafe : le vérifieur kernel garantit la sûreté mémoire du programme chargé.

Errors

• [Errno::EACCES] / [Errno::EINVAL] : rejet du vérifieur (voir log).
• [Errno::EPERM] : privilège manquant.
• [Errno::ENOSPC] : buffer de log trop court.