Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/d_path.c prepend() -> prepend_copy()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 len 0-2147483646
CAPPED_DATA 2 len 1
DATA_SOURCE 1 src $1 [m]
NOSPEC 0 dst
NOSPEC 2 len
NOSPEC 2 len
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 len 0-4096[c]
UNITS 0 dst unit_byte
UNITS 1 src unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 rcu_read

fs/d_path.c prepend() -> prepend_copy()

Type Parameter Key Value
BUF_SIZE 1 src s32min-(-2),1-s32max
CAPPED_DATA 2 len 1
DATA_SOURCE 1 src $1
DATA_SOURCE 2 len $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dst unit_byte
UNITS 1 src unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 rcu_read