Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/musb/musb_core.c musb_core_init() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 offset 108
RX_PATH
TASK_NOT_RUNNING

drivers/usb/musb/musb_core.c musb_default_get_toggle() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 1 offset 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct musb)->lock

drivers/usb/musb/musb_core.c musb_default_get_toggle() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 1 offset 6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct musb)->lock

drivers/usb/musb/musb_core.c musb_save_context() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 1 offset 12
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags

drivers/usb/musb/musb_core.c musb_save_context() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
PARAM_VALUE 1 offset 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags

drivers/usb/musb/musb_core.c musb_save_context() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
PARAM_VALUE 1 offset 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags

drivers/usb/musb/musb_core.c musb_save_context() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
PARAM_VALUE 1 offset 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags

drivers/usb/musb/musb_core.c musb_save_context() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
PARAM_VALUE 1 offset 6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags

drivers/usb/musb/musb_core.c musb_save_context() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 1 offset 100
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags

drivers/usb/musb/musb_core.c musb_save_context() -> drivers/usb/musb/musb_core.c ptr musb_readw()

Type Parameter Key Value
PARAM_VALUE 1 offset 102
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags

drivers/usb/musb/musb_core.c musb_disable_interrupts() -> drivers/usb/musb/musb_core.c ptr musb_clearw()

Type Parameter Key Value
PARAM_VALUE 1 offset 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags

drivers/usb/musb/musb_core.c musb_disable_interrupts() -> drivers/usb/musb/musb_core.c ptr musb_clearw()

Type Parameter Key Value
PARAM_VALUE 1 offset 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &musb->lock
HALF_LOCKED2 flags