Open Menu /

Defined in 1 files as a prototype:

Referenced in 2 files:

Smatch caller information:

arch/x86/lib/copy_mc.c copy_mc_to_kernel() -> copy_mc_enhanced_fast_string()

Type Parameter Key Value
BUF_SIZE 0 $ (-1),4,8,16,24,4096,5144
BUF_SIZE 0 $ (-1),4,8,16,24,4096,5144
BUF_SIZE 1 $ (-1),8
BUF_SIZE 1 $ (-1),8
DATA_SOURCE 0 $ $0
DATA_SOURCE 1 $ $1
DATA_SOURCE 2 $ $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 $ 0-s32max[c]
USER_DATA 2 $ 0-2147491836[c]
NO_OVERFLOW_SIMPLE 0 $->nfree
UNITS 0 $ unit_byte
UNITS 1 $ unit_byte
UNITS 2 $ unit_byte
USER_PTR 1 $
HALF_LOCKED2 &cache->writeback_lock
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &wc->lock
HALF_LOCKED2 global &dax_srcu

arch/x86/lib/copy_mc.c copy_mc_to_user() -> copy_mc_enhanced_fast_string()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 1 $ 4096-ptr_max
CAPPED_DATA 0 $ 1
CAPPED_DATA 2 $ 1
DATA_SOURCE 0 $ $0
DATA_SOURCE 1 $ $1
DATA_SOURCE 2 $ $2
PARAM_COMPARE 1 $ == $2
NOSPEC 2 $
NOSPEC 2 $
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 $ 4096-ptr_max[c]
HOST_DATA 2 $ 1-s32max[c]
USER_DATA 1 $ 4096-ptr_max[c][u]
USER_DATA 2 $ 0-u32max[c]
UNITS 0 $ unit_byte
UNITS 1 $ unit_byte
UNITS 2 $ unit_byte
BYTE_COUNT 1 ==$2 8050