Man pages matching name tcplife.bt in section 8:

tcplife.bt.8.en

debian 11 / bpftrace