eBPF instrumentation