Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/char/ipmi/ssif_bmc.c on_read_processed_event() -> state_to_string()

Type Parameter Key Value
PARAM_VALUE 0 state 0-3
FUZZY_MAX 0 state 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ssif_bmc->lock
LOCK2 flags
TYPE_LOCK (struct ssif_bmc_ctx)->lock

drivers/char/ipmi/ssif_bmc.c on_read_requested_event() -> state_to_string()

Type Parameter Key Value
PARAM_VALUE 0 state 0-1,3-4
FUZZY_MAX 0 state 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ssif_bmc->lock
LOCK2 flags
TYPE_LOCK (struct ssif_bmc_ctx)->lock

drivers/char/ipmi/ssif_bmc.c on_stop_event() -> state_to_string()

Type Parameter Key Value
PARAM_VALUE 0 state 0-2,5
FUZZY_MAX 0 state 5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ssif_bmc->lock
LOCK2 flags
TYPE_LOCK (struct ssif_bmc_ctx)->lock

drivers/char/ipmi/ssif_bmc.c on_write_received_event() -> state_to_string()

Type Parameter Key Value
PARAM_VALUE 0 state 0,4
FUZZY_MAX 0 state 4
BIT_INFO 0 state 0x0,0x4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ssif_bmc->lock
LOCK2 flags
TYPE_LOCK (struct ssif_bmc_ctx)->lock

drivers/char/ipmi/ssif_bmc.c on_write_requested_event() -> state_to_string()

Type Parameter Key Value
PARAM_VALUE 0 state 1,3-4
FUZZY_MAX 0 state 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ssif_bmc->lock
LOCK2 flags
TYPE_LOCK (struct ssif_bmc_ctx)->lock

net/bluetooth/6lowpan.c chan_state_change_cb() -> state_to_string()

Type Parameter Key Value
DATA_SOURCE 0 state $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &conn->lock

net/bluetooth/l2cap_sock.c l2cap_set_timer() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &chan->lock
LOCK2 parent
TYPE_LOCK (struct l2cap_chan)->lock

net/bluetooth/l2cap_sock.c l2cap_sock_cleanup_listen() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 parent

net/bluetooth/l2cap_sock.c l2cap_sock_cleanup_listen() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 parent

net/bluetooth/l2cap_sock.c l2cap_sock_kill() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &conn->lock

net/bluetooth/l2cap_sock.c l2cap_sock_shutdown() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

net/bluetooth/l2cap_sock.c l2cap_sock_teardown_cb() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &conn->lock

net/bluetooth/hci_core.c hci_low_sent() -> state_to_string()

Type Parameter Key Value
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock

net/bluetooth/hci_conn.c hci_conn_timeout() -> state_to_string()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

net/bluetooth/l2cap_core.c l2cap_chan_close() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 global &hci_cb_list_lock
HALF_LOCKED2 global &listen_chan->lock
HALF_LOCKED2 global &set_lock

net/bluetooth/l2cap_core.c l2cap_chan_del() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 &pchan->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &hci_cb_list_lock

net/bluetooth/l2cap_core.c l2cap_chan_timeout() -> state_to_string()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

net/bluetooth/l2cap_core.c l2cap_security_cfm() -> state_to_string()

Type Parameter Key Value
RX_PATH
LOCK2 &chan->lock
LOCK2 &conn->lock
LOCK2 &hdev->lock
LOCK2 &pool->lock
LOCK2 global &hci_cb_list_lock
TYPE_LOCK (struct hci_dev)->lock
TYPE_LOCK (struct l2cap_chan)->lock
TYPE_LOCK (struct l2cap_conn)->lock

net/bluetooth/l2cap_core.c l2cap_set_timer() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 &pchan->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &hci_cb_list_lock

net/bluetooth/l2cap_core.c l2cap_state_change() -> state_to_string()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 &pchan->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &hci_cb_list_lock

net/bluetooth/l2cap_core.c l2cap_state_change() -> state_to_string()

Type Parameter Key Value
PARAM_VALUE 0 state 1,5-8
DATA_SOURCE 0 state $1
HARD_MAX 0 state 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &conn->lock
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 &pchan->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &hci_cb_list_lock