Open Menu /

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/early/xhci-dbc.c early_xdbc_write() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4943424862871138304
PARAM_VALUE 1 $ 4096-ptr_max
BUF_SIZE 0 fmt 21
BUF_SIZE 1 $ 1025
STR_LEN 0 fmt 20
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/usb/early/xhci-dbc.c xdbc_bulk_transfer() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 1868136732918878208
PARAM_VALUE 1 $ 1025-s32max
BUF_SIZE 0 fmt 24
DATA_SOURCE 1 $ $1
STR_LEN 0 fmt 23
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_bulk_transfer() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6417880339464994816
BUF_SIZE 0 fmt 34
STR_LEN 0 fmt 33
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xdbc.lock
HALF_LOCKED2 irq

drivers/usb/early/xhci-dbc.c xdbc_bulk_write() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 9111744092103139328
BUF_SIZE 0 fmt 37
STR_LEN 0 fmt 36
TERMINATED 0 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/usb/early/xhci-dbc.c xdbc_handle_events() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6768183718781313024
BUF_SIZE 0 fmt 30
STR_LEN 0 fmt 29
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_handle_external_reset() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 2121811768321470464
BUF_SIZE 0 fmt 15
STR_LEN 0 fmt 14
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_handle_external_reset() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8434885544647520256
BUF_SIZE 0 fmt 39
STR_LEN 0 fmt 38
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_handle_port_status() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4432683295116582912
BUF_SIZE 0 fmt 29
STR_LEN 0 fmt 28
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_handle_port_status() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 5747873611248955392
BUF_SIZE 0 fmt 17
STR_LEN 0 fmt 16
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_handle_port_status() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 781544290135883776
BUF_SIZE 0 fmt 25
STR_LEN 0 fmt 24
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_handle_port_status() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 3899262854917107712
BUF_SIZE 0 fmt 31
STR_LEN 0 fmt 30
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_handle_port_status() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 19629164359028736
BUF_SIZE 0 fmt 21
STR_LEN 0 fmt 20
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_handle_tx_event() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 3753964114832953344
PARAM_VALUE 1 $ 0-31
BUF_SIZE 0 fmt 21
FUZZY_MAX 1 $ 2
STR_LEN 0 fmt 20
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_handle_tx_event() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 1661476431248646144
PARAM_VALUE 1 $ 4-31
BUF_SIZE 0 fmt 24
STR_LEN 0 fmt 23
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &xdbc.lock
HALF_LOCKED2 flags
TYPE_LOCK (struct xdbc_state)->lock

drivers/usb/early/xhci-dbc.c xdbc_init() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8187115702777176064
BUF_SIZE 0 fmt 27
STR_LEN 0 fmt 26
TERMINATED 0 fmt 1
NOCHECK_CALL

drivers/usb/early/xhci-dbc.c xdbc_init() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 8356897685051445248
BUF_SIZE 0 fmt 32
STR_LEN 0 fmt 31
TERMINATED 0 fmt 1
NOCHECK_CALL

drivers/usb/early/xhci-dbc.c xdbc_scrub_function() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 5598352450582769664
BUF_SIZE 0 fmt 26
STR_LEN 0 fmt 25
TERMINATED 0 fmt 1
NOCHECK_CALL

drivers/usb/early/xhci-dbc.c xdbc_start() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6574285023159255040
BUF_SIZE 0 fmt 31
STR_LEN 0 fmt 30
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xdbc.lock
HALF_LOCKED2 irq

drivers/usb/early/xhci-dbc.c xdbc_start() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4188800316056608768
BUF_SIZE 0 fmt 34
STR_LEN 0 fmt 33
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xdbc.lock
HALF_LOCKED2 irq

drivers/usb/early/xhci-dbc.c xdbc_start() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 7956973534159802368
BUF_SIZE 0 fmt 44
STR_LEN 0 fmt 43
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xdbc.lock
HALF_LOCKED2 irq

drivers/usb/early/xhci-dbc.c xdbc_start() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 6357261481368887296
BUF_SIZE 0 fmt 30
STR_LEN 0 fmt 29
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xdbc.lock
HALF_LOCKED2 irq

drivers/usb/early/xhci-dbc.c xdbc_start() -> xdbc_trace()

Type Parameter Key Value
PARAM_VALUE 0 fmt 7864986371645231104
PARAM_VALUE 2 $ 0-255
BUF_SIZE 0 fmt 47
STR_LEN 0 fmt 46
TERMINATED 0 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 $ 0-u32max
HALF_LOCKED2 global &xdbc.lock
HALF_LOCKED2 irq