Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

lib/iov_iter.c copy_to_user_iter_nofault() -> copy_to_user_nofault()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 size 1-u64max
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $3
DATA_SOURCE 2 size $2
NOSPEC 2 size
NOSPEC 2 size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 src 4096-ptr_max[c]
HOST_DATA 2 size 1-s32max[c]
USER_DATA 1 src 4096-ptr_max[c][u]
USER_DATA 2 size 1-u64max[c]
UNITS 0 dst unit_byte
UNITS 1 src unit_byte
UNITS 2 size unit_byte
BYTE_COUNT 1 ==src2 8050

fs/btrfs/extent_io.c read_extent_buffer_to_user_nofault() -> copy_to_user_nofault()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 size 1-u32max
DATA_SOURCE 0 dst $1
DATA_SOURCE 2 size $3
CAPABLE 0 21
NO_OVERFLOW_SIMPLE 2 size
UNITS 0 dst unit_byte
UNITS 2 size unit_byte

fs/btrfs/extent_io.c read_extent_buffer_to_user_nofault() -> copy_to_user_nofault()

Type Parameter Key Value
PARAM_VALUE 1 *src 0-255
PARAM_VALUE 2 size 0-u32max
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
CAPABLE 0 21
NO_OVERFLOW_SIMPLE 2 size
UNITS 0 dst unit_byte
UNITS 1 src unit_byte
UNITS 2 size unit_byte

arch/x86/kvm/x86.c kvm_steal_time_set_preempted() -> copy_to_user_nofault()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 8639904144538726400
PARAM_VALUE 1 *src 1
PARAM_VALUE 2 size 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 size unit_byte
LOCK2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 irq
TYPE_LOCK (struct kvm)->srcu

fs/btrfs/ioctl.c copy_to_sk() -> copy_to_user_nofault()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 *dst 0-255
PARAM_VALUE 1 src 678466001453989888
PARAM_VALUE 2 size 32
BUF_SIZE 1 src 32
CAPABLE 0 21
UNITS 0 dst unit_byte
UNITS 2 size unit_byte

kernel/trace/bpf_trace.c ____bpf_probe_write_user() -> copy_to_user_nofault()

Type Parameter Key Value
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 size $2