tnum.h    9 include/linux/bpf_verifier.h #include <linux/tnum.h>
tnum.h   10 kernel/bpf/tnum.c #include <linux/tnum.h>