Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/configfs.c gadget_dev_desc_bcdDevice_store() -> is_valid_bcd()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 bcd_val 0-u16max
NO_OVERFLOW_SIMPLE 0 bcd_val
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem

drivers/usb/gadget/configfs.c gadget_dev_desc_bcdUSB_store() -> is_valid_bcd()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 bcd_val 0-u16max
NO_OVERFLOW_SIMPLE 0 bcd_val
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem

drivers/usb/gadget/configfs.c webusb_bcdVersion_store() -> is_valid_bcd()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 bcd_val 0-u16max
NO_OVERFLOW_SIMPLE 0 bcd_val
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem