bpf: introduce function calls (verification)