Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/early/xhci-dbc.c xdbc_mem_init() -> xdbc_put_utf16()

Type Parameter Key Value
PARAM_VALUE 1 c 6362250873652588544
PARAM_VALUE 2 size 4
BUF_SIZE 1 c 5
STR_LEN 0 s 4
TERMINATED 1 c 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_mem_init() -> xdbc_put_utf16()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 *s 0-255
PARAM_VALUE 1 c 7342972295308038144
PARAM_VALUE 2 size 20
BUF_SIZE 1 c 21
STR_LEN 0 s 20
TERMINATED 1 c 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_mem_init() -> xdbc_put_utf16()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 c 7529971276914688000
PARAM_VALUE 2 size 16
BUF_SIZE 1 c 17
STR_LEN 0 s 16
TERMINATED 1 c 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xdbc.lock
HALF_LOCKED2 irq