Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/entry/common.c rseq_update_usr() -> rseq_set_ids_get_csaddr()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 1 ids 8833314729044336640
PARAM_VALUE 1 ids->cpu_cid 0
PARAM_VALUE 2 csaddr 5638593448059305984
DATA_SOURCE 0 t $0
DATA_SOURCE 1 ids $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

kernel/rseq.c rseq_update_usr() -> rseq_set_ids_get_csaddr()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 1 ids 3811299194383355904
PARAM_VALUE 2 csaddr 3085375553248481280
DATA_SOURCE 0 t $0
DATA_SOURCE 1 ids $2
BIT_INFO 0 t->flags 0x0,0xfffffffb
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING