bpf: mark a NULL kfunc argument precisegrafted

check_kfunc_arg() allows bpf_register_is_null() for nullable arguments
w/o marking the underlying scalar register precise. Hence a checkpoint
created on such a path would prune against arbitrary scalar value.

Fixes: 3bda08b63670 ("bpf: Allow NULL buffers in bpf_dynptr_slice(_rw)")
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260904-register-is-null-precise-fixes-v1-5-0f5a360ff15d@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

1 files changed, 71 insertions, 0 deletions

diff --git a/Documentation/userspace-api/index.rst b/Documentation/userspace-api/index.rst
new file mode 100644
index 000000000..a68b1bea5
--- /dev/null
+++ b/Documentation/userspace-api/index.rst
@@ -0,0 +1,71 @@
+=====================================
+The Linux kernel user-space API guide
+=====================================
+
+.. _man-pages: https://www.kernel.org/doc/man-pages/
+
+While much of the kernel's user-space API is documented elsewhere
+(particularly in the man-pages_ project), some user-space information can
+also be found in the kernel tree itself.  This manual is intended to be the
+place where this information is gathered.
+
+
+System calls
+============
+
+.. toctree::
+   :maxdepth: 1
+
+   unshare
+   futex2
+   ebpf/index
+   ioctl/index
+   mseal
+   rseq
+
+Security-related interfaces
+===========================
+
+.. toctree::
+   :maxdepth: 1
+
+   no_new_privs
+   seccomp_filter
+   landlock
+   lsm
+   mfd_noexec
+   spec_ctrl
+   tee
+   check_exec
+
+Devices and I/O
+===============
+
+.. toctree::
+   :maxdepth: 1
+
+   accelerators/ocxl
+   dma-buf-heaps
+   dma-buf-alloc-exchange
+   fwctl/index
+   gpio/index
+   iommufd
+   media/index
+   dcdbas
+   vduse
+   isapnp
+
+Everything else
+===============
+
+.. toctree::
+   :maxdepth: 1
+
+   ELF
+   liveupdate
+   netlink/index
+   sysfs-platform_profile
+   vduse
+   futex2
+   perf_ring_buffer
+   ntsync