Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/regset.c regset_get() -> __regset_get()

Type Parameter Key Value
PARAM_VALUE 0 target 4096-ptr_max
PARAM_VALUE 0 target->signal 4096-ptr_max
PARAM_VALUE 1 regset 4096-ptr_max
PARAM_VALUE 2 size 216
PARAM_VALUE 3 *data 4096-ptr_max
CAPPED_DATA 0 target->real_parent 1
DATA_SOURCE 0 target $0
DATA_SOURCE 1 regset $1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 size unit_byte

kernel/regset.c regset_get_alloc() -> __regset_get()

Type Parameter Key Value
PARAM_VALUE 1 regset 4096-ptr_max
PARAM_VALUE 1 regset->active 0,1975427470651244544,4074023953943486464,4500882637852098560,7649262298708291584,8137323591048822784
PARAM_VALUE 1 regset->core_note_name 1521036209685925888,5339408276020707328
PARAM_VALUE 1 regset->core_note_type 1-2,512-514,516,1189489535
PARAM_VALUE 1 regset->n 0-536870911
PARAM_VALUE 1 regset->writeback 0
PARAM_VALUE 3 data 1475183973698936832,3204976939277144064,6302881454988103680
PARAM_VALUE 3 *data 0
CAPPED_DATA 2 size 1
DATA_SOURCE 0 target $0
DATA_SOURCE 1 regset $1
DATA_SOURCE 2 size $2
DATA_SOURCE 3 data $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 size unit_byte