Symbol: bpf_get_reg32