Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/f_printer.c printer_func_bind() -> printer_req_free()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->claimed 1
PARAM_VALUE 0 ep->comp_desc 0
PARAM_VALUE 0 ep->desc 0
PARAM_VALUE 0 ep->name 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
BUF_SIZE 0 ep (-1),72
BUF_SIZE 0 ep (-1),72
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ep->address 0-255[u]
USER_DATA 1 req->ep->address 0-255[u]
USER_DATA 1 req->ep->desc->bDescriptorType 0-255
USER_DATA 1 req->ep->desc->bEndpointAddress 0-255
USER_DATA 1 req->ep->desc->bInterval 0-255
USER_DATA 1 req->ep->desc->bLength 0-255
USER_DATA 1 req->ep->desc->bRefresh 0-255
USER_DATA 1 req->ep->desc->bSynchAddress 0-255
USER_DATA 1 req->ep->desc->bmAttributes 0-255
USER_DATA 1 req->ep->desc->wMaxPacketSize 0-u16max
USER_PTR 1 req->ep->desc

drivers/usb/gadget/function/f_printer.c printer_func_bind() -> printer_req_free()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->claimed 1
PARAM_VALUE 0 ep->comp_desc 0
PARAM_VALUE 0 ep->desc 0
PARAM_VALUE 0 ep->name 4096-ptr_max
PARAM_VALUE 1 req 4096-ptr_max
BUF_SIZE 0 ep (-1),72
BUF_SIZE 0 ep (-1),72
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ep->address 0-255[u]
USER_DATA 1 req->ep->address 0-255[u]
USER_DATA 1 req->ep->desc->bDescriptorType 0-255
USER_DATA 1 req->ep->desc->bEndpointAddress 0-255
USER_DATA 1 req->ep->desc->bInterval 0-255
USER_DATA 1 req->ep->desc->bLength 0-255
USER_DATA 1 req->ep->desc->bRefresh 0-255
USER_DATA 1 req->ep->desc->bSynchAddress 0-255
USER_DATA 1 req->ep->desc->bmAttributes 0-255
USER_DATA 1 req->ep->desc->wMaxPacketSize 0-u16max
USER_PTR 1 req->ep->desc

drivers/usb/gadget/function/f_printer.c printer_func_unbind() -> printer_req_free()

Type Parameter Key Value
PARAM_VALUE 1 req 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/function/f_printer.c printer_func_unbind() -> printer_req_free()

Type Parameter Key Value
PARAM_VALUE 1 req 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/function/f_printer.c printer_func_unbind() -> printer_req_free()

Type Parameter Key Value
PARAM_VALUE 1 req 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/function/f_printer.c printer_func_unbind() -> printer_req_free()

Type Parameter Key Value
PARAM_VALUE 1 req 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL