Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/printk/nbcon.c __nbcon_context_update_unsafe() -> nbcon_state_read()

Type Parameter Key Value
PARAM_VALUE 1 state 3913571730978111488
STR_LEN 0 con (-1)
STR_LEN 0 con (-1)
NOSPEC 0 con->index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 con->cflag s32min-s32max
HOST_DATA 0 con->dropped 0
HOST_DATA 0 con->irq_work.node.a_flags.counter 0-s32max
HOST_DATA 0 con->irq_work.node.dst 0-u16max
HOST_DATA 0 con->irq_work.node.src 0-u16max
HOST_DATA 0 con->irq_work.node.u_flags 0-s32max
HOST_DATA 0 con->ispeed 0-u32max
HOST_DATA 0 con->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 con->nbcon_device_ctxt.backlog 0
HOST_DATA 0 con->nbcon_device_ctxt.prio 0
HOST_DATA 0 con->nbcon_device_ctxt.seq 0
HOST_DATA 0 con->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 con->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 con->nbcon_seq.counter s64min-s64max
HOST_DATA 0 con->nbcon_state.counter 0
HOST_DATA 0 con->ospeed 0-u32max
HOST_DATA 0 con->seq 0-u64max
USER_DATA 0 con->index 0-3[c]
HALF_LOCKED2 flags

kernel/printk/nbcon.c nbcon_can_proceed() -> nbcon_state_read()

Type Parameter Key Value
PARAM_VALUE 1 state 6353636647739588608
NOCHECK_CALL

kernel/printk/nbcon.c nbcon_context_release() -> nbcon_state_read()

Type Parameter Key Value
PARAM_VALUE 0 con 0,4096-ptr_max
PARAM_VALUE 1 state 7401590802170925056
STR_LEN 0 con (-1)
STR_LEN 0 con (-1)
NOSPEC 0 con->index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 con->cflag s32min-s32max
HOST_DATA 0 con->dropped 0
HOST_DATA 0 con->irq_work.node.a_flags.counter 0-s32max
HOST_DATA 0 con->irq_work.node.dst 0-u16max
HOST_DATA 0 con->irq_work.node.src 0-u16max
HOST_DATA 0 con->irq_work.node.u_flags 0-s32max
HOST_DATA 0 con->ispeed 0-u32max
HOST_DATA 0 con->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 con->nbcon_device_ctxt.backlog 0
HOST_DATA 0 con->nbcon_device_ctxt.prio 0
HOST_DATA 0 con->nbcon_device_ctxt.seq 0
HOST_DATA 0 con->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 con->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 con->nbcon_seq.counter s64min-s64max
HOST_DATA 0 con->nbcon_state.counter 0
HOST_DATA 0 con->ospeed 0-u32max
HOST_DATA 0 con->seq 0-u64max
USER_DATA 0 con->index 0-3[c]
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags

kernel/printk/nbcon.c nbcon_context_try_acquire() -> nbcon_state_read()

Type Parameter Key Value
PARAM_VALUE 1 state 2580075563635195904
STR_LEN 0 con (-1)
STR_LEN 0 con (-1)
NOSPEC 0 con->index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 con->cflag s32min-s32max
HOST_DATA 0 con->dropped 0
HOST_DATA 0 con->irq_work.node.a_flags.counter 0-s32max
HOST_DATA 0 con->irq_work.node.dst 0-u16max
HOST_DATA 0 con->irq_work.node.src 0-u16max
HOST_DATA 0 con->irq_work.node.u_flags 0-s32max
HOST_DATA 0 con->ispeed 0-u32max
HOST_DATA 0 con->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 con->nbcon_device_ctxt.backlog 0
HOST_DATA 0 con->nbcon_device_ctxt.prio 0
HOST_DATA 0 con->nbcon_device_ctxt.seq 0
HOST_DATA 0 con->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 con->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 con->nbcon_seq.counter s64min-s64max
HOST_DATA 0 con->nbcon_state.counter 0
HOST_DATA 0 con->ospeed 0-u32max
HOST_DATA 0 con->seq 0-u64max
USER_DATA 0 con->index 0-3[c]
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags

kernel/printk/nbcon.c nbcon_context_try_acquire_handover() -> nbcon_state_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PARAM_VALUE 0 con->nbcon_state.counter 0-s32max
PARAM_VALUE 1 state 2580075563635195904
DATA_SOURCE 1 state $1
STR_LEN 0 con (-1)
STR_LEN 0 con (-1)
NOSPEC 0 con->index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 con->cflag s32min-s32max
HOST_DATA 0 con->dropped 0
HOST_DATA 0 con->irq_work.node.a_flags.counter 0-s32max
HOST_DATA 0 con->irq_work.node.dst 0-u16max
HOST_DATA 0 con->irq_work.node.src 0-u16max
HOST_DATA 0 con->irq_work.node.u_flags 0-s32max
HOST_DATA 0 con->ispeed 0-u32max
HOST_DATA 0 con->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 con->nbcon_device_ctxt.backlog 0
HOST_DATA 0 con->nbcon_device_ctxt.prio 0
HOST_DATA 0 con->nbcon_device_ctxt.seq 0
HOST_DATA 0 con->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 con->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 con->nbcon_seq.counter s64min-s64max
HOST_DATA 0 con->ospeed 0-u32max
HOST_DATA 0 con->seq 0-u64max
HOST_DATA 1 state->atom 0
USER_DATA 0 con->index 0-3[c]
HALF_LOCKED2 &up->lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags

kernel/printk/nbcon.c nbcon_emit_next_record() -> nbcon_state_read()

Type Parameter Key Value
PARAM_VALUE 0 con 4096-ptr_max
PARAM_VALUE 1 state 459341080276299776
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags
HALF_LOCKED2 flags

kernel/printk/nbcon.c nbcon_write_context_set_buf() -> nbcon_state_read()

Type Parameter Key Value
PARAM_VALUE 1 state 5047494190572277760
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags