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.