linux/include/linux/bpfptr.h

/* SPDX-License-Identifier: GPL-2.0-only */
/* A pointer that can point to either kernel or userspace memory. */
#ifndef _LINUX_BPFPTR_H
#define _LINUX_BPFPTR_H

#include <linux/mm.h>
#include <linux/sockptr.h>

bpfptr_t;

static inline bool bpfptr_is_kernel(bpfptr_t bpfptr)
{ … }

static inline bpfptr_t KERNEL_BPFPTR(void *p)
{ … }

static inline bpfptr_t USER_BPFPTR(void __user *p)
{ … }

static inline bpfptr_t make_bpfptr(u64 addr, bool is_kernel)
{ … }

static inline bool bpfptr_is_null(bpfptr_t bpfptr)
{ … }

static inline void bpfptr_add(bpfptr_t *bpfptr, size_t val)
{ … }

static inline int copy_from_bpfptr_offset(void *dst, bpfptr_t src,
					  size_t offset, size_t size)
{ … }

static inline int copy_from_bpfptr(void *dst, bpfptr_t src, size_t size)
{ … }

static inline int copy_to_bpfptr_offset(bpfptr_t dst, size_t offset,
					const void *src, size_t size)
{ … }

static inline void *kvmemdup_bpfptr_noprof(bpfptr_t src, size_t len)
{ … }
#define kvmemdup_bpfptr(...) …

static inline long strncpy_from_bpfptr(char *dst, bpfptr_t src, size_t count)
{ … }

#endif /* _LINUX_BPFPTR_H */