Symbol: bpf_is_seen_register