Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/hcd.c usb_hcd_unmap_urb_for_dma() -> hcd_free_coherent()

Type Parameter Key Value
PARAM_VALUE 1 dma_handle 4096-ptr_max
PARAM_VALUE 2 vaddr_handle 4096-ptr_max
PARAM_VALUE 4 dir 1-2
FUZZY_MAX 4 dir 2
NOSPEC 3 size
NOSPEC 3 size
HARD_MAX 4 dir 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 size 1-s32max
NO_OVERFLOW_SIMPLE 1 *dma_handle
NO_OVERFLOW_SIMPLE 2 *(*vaddr_handle)
UNITS 3 size unit_byte
HALF_LOCKED2 &musb->lock

drivers/usb/core/hcd.c usb_hcd_unmap_urb_setup_for_dma() -> hcd_free_coherent()

Type Parameter Key Value
PARAM_VALUE 1 dma_handle 4096-ptr_max
PARAM_VALUE 2 vaddr_handle 4096-ptr_max
PARAM_VALUE 3 size 8
PARAM_VALUE 4 dir 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 *dma_handle
UNITS 3 size unit_byte
HALF_LOCKED2 &musb->lock