bpf_arch_uaddress_limit
u64 bpf_arch_uaddress_limit(void);
u64 uaddress_limit = bpf_arch_uaddress_limit();