Open Menu /

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/virt/coco/sev-guest/sev-guest.c get_ext_report() -> USER_SOCKPTR()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock

drivers/virt/coco/sev-guest/sev-guest.c snp_guest_ioctl() -> USER_SOCKPTR()

Type Parameter Key Value

drivers/virt/coco/sev-guest/sev-guest.c snp_guest_ioctl() -> USER_SOCKPTR()

Type Parameter Key Value

net/ipv4/tcp.c tcp_getsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
DATA_SOURCE 0 p $3
RX_PATH
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_getsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
DATA_SOURCE 0 p $4
RX_PATH
HALF_LOCKED2 sk

io_uring/cmd_net.c io_uring_cmd_getsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock

io_uring/cmd_net.c io_uring_cmd_setsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock

net/ipv6/ipv6_sockglue.c ipv6_getsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
DATA_SOURCE 0 p $3
RX_PATH

net/ipv6/ipv6_sockglue.c ipv6_getsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
DATA_SOURCE 0 p $4
RX_PATH

net/ipv4/ip_sockglue.c ip_getsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
DATA_SOURCE 0 p $3
RX_PATH

net/ipv4/ip_sockglue.c ip_getsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
DATA_SOURCE 0 p $4
RX_PATH

net/socket.c __sys_getsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
DATA_SOURCE 0 p $3

net/socket.c __sys_getsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
DATA_SOURCE 0 p $4

net/socket.c __sys_setsockopt() -> USER_SOCKPTR()

Type Parameter Key Value
DATA_SOURCE 0 p $3

drivers/virt/coco/tdx-guest/tdx-guest.c tdx_get_report0() -> USER_SOCKPTR()

Type Parameter Key Value
BUF_SIZE 0 p 64

drivers/virt/coco/tdx-guest/tdx-guest.c tdx_get_report0() -> USER_SOCKPTR()

Type Parameter Key Value
BUF_SIZE 0 p 1024