Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

arch/x86/kernel/dumpstack.c copy_code() -> copy_from_user_nmi()

Type Parameter Key Value
PARAM_VALUE 0 to 7836598759326162944
PARAM_VALUE 2 n 64
BUF_SIZE 0 to 64
DATA_SOURCE 0 to $1
DATA_SOURCE 1 from $2
DATA_SOURCE 2 n $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 n unit_byte

arch/x86/events/intel/ds.c intel_pmu_pebs_fixup_ip() -> copy_from_user_nmi()

Type Parameter Key Value
PARAM_VALUE 0 to 0
PARAM_VALUE 1 from 1-u64max
PARAM_VALUE 2 n 0-4096

kernel/events/core.c __output_copy_user() -> copy_from_user_nmi()

Type Parameter Key Value
CAPPED_DATA 2 n 1
CAPPED_DATA 2 n 1
DATA_SOURCE 1 from $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 to 4096-ptr_max[c][u]
USER_DATA 1 from 4096-ptr_max[c][u]
USER_DATA 2 n 1-327675[c]
NO_OVERFLOW_SIMPLE 2 n
UNITS 2 n unit_byte
LOCK2 rcu_read

arch/x86/events/utils.c get_branch_type() -> copy_from_user_nmi()

Type Parameter Key Value
PARAM_VALUE 0 to 2801444249335357440
PARAM_VALUE 1 from 1-9223372036854775807
PARAM_VALUE 2 n 15
BUF_SIZE 0 to 15
DATA_SOURCE 1 from $0
RX_PATH
TASK_NOT_RUNNING