> On Nov 7, 2019, at 10:40 PM, Alexei Starovoitov <ast@xxxxxxxxxx> wrote: > > Make the verifier check that BTF types of function arguments match actual types > passed into top-level BPF program and into BPF-to-BPF calls. If types match > such BPF programs and sub-programs will have full support of BPF trampoline. If > types mismatch the trampoline has to be conservative. It has to save/restore > all 5 program arguments and assume 64-bit scalars. If FENTRY/FEXIT program is > attached to this program in the future such FENTRY/FEXIT program will be able > to follow pointers only via bpf_probe_read_kernel(). > > Signed-off-by: Alexei Starovoitov <ast@xxxxxxxxxx> Acked-by: Song Liu <songliubraving@xxxxxx>
