On Tue, May 4, 2021 at 1:33 PM Zack Weinberg <zackw@xxxxxxxxx> wrote: > the information that should > appear in the manpages is the information that is most relevant to > user space programmers. The bpf programs are compiled for the kernel and run in the kernel. Hence bpf man pages must reflect the kernel. Also there is BTF where type names are part of the verification process. if a user decides to rename a type it will be rejected by the kernel verifier.