Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 4984569471539535872
PARAM_VALUE 1 arg 0
BUF_SIZE 0 bp_type 3
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 4574855008089321472
PARAM_VALUE 1 arg 0
BUF_SIZE 0 bp_type 3
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 1640590266843033600
PARAM_VALUE 2 vaddr 0
BUF_SIZE 0 bp_type 3
DATA_SOURCE 1 arg $0
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 6476232446765932544
PARAM_VALUE 2 vaddr 0
BUF_SIZE 0 bp_type 3
DATA_SOURCE 1 arg $0
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 257305621023182848
PARAM_VALUE 2 vaddr 0
BUF_SIZE 0 bp_type 3
DATA_SOURCE 1 arg $0
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 4959904649677000704
PARAM_VALUE 2 vaddr 0
BUF_SIZE 0 bp_type 3
DATA_SOURCE 1 arg $0
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 4590781103346335744
PARAM_VALUE 2 vaddr 0
BUF_SIZE 0 bp_type 3
DATA_SOURCE 1 arg $0
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 8525522171984879616
PARAM_VALUE 2 vaddr 0
BUF_SIZE 0 bp_type 3
DATA_SOURCE 1 arg $0
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 4984569471539535872
PARAM_VALUE 2 vaddr 0
BUF_SIZE 0 bp_type 3
DATA_SOURCE 1 arg $0
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 bp_type 4574855008089321472
PARAM_VALUE 2 vaddr 0
BUF_SIZE 0 bp_type 3
DATA_SOURCE 1 arg $0
STR_LEN 0 bp_type 2
TERMINATED 0 bp_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read