Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/kgdbts.c break_helper() -> fill_get_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 8425301888193576960
BUF_SIZE 0 buf 1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/misc/kgdbts.c emul_sstep_get() -> fill_get_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 7624857369223426048
BUF_SIZE 0 buf 2
STR_LEN 0 buf 1
TERMINATED 0 buf 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/misc/kgdbts.c emul_sstep_get() -> fill_get_buf()

Type Parameter Key Value
DATA_SOURCE 0 buf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/misc/kgdbts.c emul_sstep_get() -> fill_get_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 8222402328902606848
BUF_SIZE 0 buf 2
STR_LEN 0 buf 1
TERMINATED 0 buf 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/misc/kgdbts.c emul_sstep_get() -> fill_get_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 7624857369223426048
BUF_SIZE 0 buf 2
STR_LEN 0 buf 1
TERMINATED 0 buf 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/misc/kgdbts.c get_cont_catch() -> fill_get_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 5321232235199369216
BUF_SIZE 0 buf 2
STR_LEN 0 buf 1
TERMINATED 0 buf 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/misc/kgdbts.c run_simple_test() -> fill_get_buf()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/misc/kgdbts.c run_simple_test() -> fill_get_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 5321232235199369216
BUF_SIZE 0 buf 2
STR_LEN 0 buf 1
TERMINATED 0 buf 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/misc/kgdbts.c skip_back_repeat_test() -> fill_get_buf()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/misc/kgdbts.c write_regs() -> fill_get_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 8425301888193576960
BUF_SIZE 0 buf 1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read