f_midi2_free_card identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/usb/gadget/function/f_midi2.c, line 1513 (as a function)

Referenced in 1 files:

drivers/usb/gadget/function/f_midi2.c

Smatch caller information:

drivers/usb/gadget/function/f_midi2.c f_midi2_bind() -> f_midi2_free_card()

Type	Parameter	Key	Value
PARAM_VALUE	0	midi2	4096-ptr_max
PARAM_VALUE	0	midi2->card	4096-ptr_max
PARAM_VALUE	0	midi2->card->card_dev.class	235665674555068416
PARAM_VALUE	0	midi2->card->card_dev.dma_io_tlb_mem	1473117533515866112
PARAM_VALUE	0	midi2->card->card_dev.dma_uses_io_tlb	0
PARAM_VALUE	0	midi2->card->card_dev.kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	midi2->card->card_dev.kobj.ktype	5399513539053756416
PARAM_VALUE	0	midi2->card->card_dev.kobj.state_add_uevent_sent	0
PARAM_VALUE	0	midi2->card->card_dev.kobj.state_in_sysfs	0
PARAM_VALUE	0	midi2->card->card_dev.kobj.state_initialized	1
PARAM_VALUE	0	midi2->card->card_dev.kobj.state_remove_uevent_sent	0
PARAM_VALUE	0	midi2->card->card_dev.links.status	0
PARAM_VALUE	0	midi2->card->card_dev.numa_node	(-1)
PARAM_VALUE	0	midi2->card->card_dev.parent	4096-ptr_max
PARAM_VALUE	0	midi2->card->card_dev.power.child_count.counter	0
PARAM_VALUE	0	midi2->card->card_dev.power.deferred_resume	0
PARAM_VALUE	0	midi2->card->card_dev.power.disable_depth	1
PARAM_VALUE	0	midi2->card->card_dev.power.early_init	1
PARAM_VALUE	0	midi2->card->card_dev.power.idle_notification	0
PARAM_VALUE	0	midi2->card->card_dev.power.ignore_children	0
PARAM_VALUE	0	midi2->card->card_dev.power.is_prepared	0
PARAM_VALUE	0	midi2->card->card_dev.power.last_status	(-1)
PARAM_VALUE	0	midi2->card->card_dev.power.needs_force_resume	0
PARAM_VALUE	0	midi2->card->card_dev.power.qos	0
PARAM_VALUE	0	midi2->card->card_dev.power.request	0
PARAM_VALUE	0	midi2->card->card_dev.power.request_pending	0
PARAM_VALUE	0	midi2->card->card_dev.power.runtime_auto	1
PARAM_VALUE	0	midi2->card->card_dev.power.runtime_error	0
PARAM_VALUE	0	midi2->card->card_dev.power.runtime_status	2
PARAM_VALUE	0	midi2->card->card_dev.power.timer_expires	0
PARAM_VALUE	0	midi2->card->card_dev.power.usage_count.counter	0
PARAM_VALUE	0	midi2->card->card_dev.release	530793378695925760
PARAM_VALUE	0	midi2->card->controls_rwlock.magic	3736018669
PARAM_VALUE	0	midi2->card->controls_rwlock.owner	(-1)
PARAM_VALUE	0	midi2->card->controls_rwlock.owner_cpu	u32max
PARAM_VALUE	0	midi2->card->ctl_hash.xa_flags	0
PARAM_VALUE	0	midi2->card->ctl_hash.xa_head	0
PARAM_VALUE	0	midi2->card->ctl_numids.xa_flags	0
PARAM_VALUE	0	midi2->card->ctl_numids.xa_head	0
PARAM_VALUE	0	midi2->card->dev	4096-ptr_max
PARAM_VALUE	0	midi2->card->memory_mutex.first_waiter	0
PARAM_VALUE	0	midi2->card->memory_mutex.owner.counter	0
PARAM_VALUE	0	midi2->card->number	0-31
PARAM_VALUE	0	midi2->card->power_ref.count.counter	0
PARAM_VALUE	0	midi2->card->sync_irq	(-1)
PARAM_VALUE	0	midi2->gadget->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	midi2->num_eps	0-s32max
PARAM_VALUE	0	midi2->operation_mode	0
PARAM_VALUE	0	midi2->strings	4096-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	midi2->midi1_ep_in.usb_ep->address	0-255[u]
USER_DATA	0	midi2->midi1_ep_out.usb_ep->address	0-255[u]
NO_OVERFLOW_SIMPLE	0	midi2->midi1_ep_in.card->info.num_reqs
NO_OVERFLOW_SIMPLE	0	midi2->midi1_ep_in.usb_ep->num
NO_OVERFLOW_SIMPLE	0	midi2->midi1_ep_out.card->info.num_reqs
NO_OVERFLOW_SIMPLE	0	midi2->midi1_ep_out.usb_ep->num

drivers/usb/gadget/function/f_midi2.c f_midi2_create_card() -> f_midi2_free_card()

Type	Parameter	Key	Value
PARAM_VALUE	0	midi2	4096-ptr_max
PARAM_VALUE	0	midi2->card	4096-ptr_max
PARAM_VALUE	0	midi2->card->card_dev.class	235665674555068416
PARAM_VALUE	0	midi2->card->card_dev.dma_io_tlb_mem	1473117533515866112
PARAM_VALUE	0	midi2->card->card_dev.dma_uses_io_tlb	0
PARAM_VALUE	0	midi2->card->card_dev.kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	midi2->card->card_dev.kobj.ktype	5399513539053756416
PARAM_VALUE	0	midi2->card->card_dev.kobj.state_add_uevent_sent	0
PARAM_VALUE	0	midi2->card->card_dev.kobj.state_in_sysfs	0
PARAM_VALUE	0	midi2->card->card_dev.kobj.state_initialized	1
PARAM_VALUE	0	midi2->card->card_dev.kobj.state_remove_uevent_sent	0
PARAM_VALUE	0	midi2->card->card_dev.links.status	0
PARAM_VALUE	0	midi2->card->card_dev.numa_node	(-1)
PARAM_VALUE	0	midi2->card->card_dev.parent	4096-ptr_max
PARAM_VALUE	0	midi2->card->card_dev.power.child_count.counter	0
PARAM_VALUE	0	midi2->card->card_dev.power.deferred_resume	0
PARAM_VALUE	0	midi2->card->card_dev.power.disable_depth	1
PARAM_VALUE	0	midi2->card->card_dev.power.early_init	1
PARAM_VALUE	0	midi2->card->card_dev.power.idle_notification	0
PARAM_VALUE	0	midi2->card->card_dev.power.ignore_children	0
PARAM_VALUE	0	midi2->card->card_dev.power.is_prepared	0
PARAM_VALUE	0	midi2->card->card_dev.power.last_status	(-1)
PARAM_VALUE	0	midi2->card->card_dev.power.needs_force_resume	0
PARAM_VALUE	0	midi2->card->card_dev.power.qos	0
PARAM_VALUE	0	midi2->card->card_dev.power.request	0
PARAM_VALUE	0	midi2->card->card_dev.power.request_pending	0
PARAM_VALUE	0	midi2->card->card_dev.power.runtime_auto	1
PARAM_VALUE	0	midi2->card->card_dev.power.runtime_error	0
PARAM_VALUE	0	midi2->card->card_dev.power.runtime_status	2
PARAM_VALUE	0	midi2->card->card_dev.power.timer_expires	0
PARAM_VALUE	0	midi2->card->card_dev.power.usage_count.counter	0
PARAM_VALUE	0	midi2->card->card_dev.release	530793378695925760
PARAM_VALUE	0	midi2->card->controls_rwlock.magic	3736018669
PARAM_VALUE	0	midi2->card->controls_rwlock.owner	(-1)
PARAM_VALUE	0	midi2->card->controls_rwlock.owner_cpu	u32max
PARAM_VALUE	0	midi2->card->ctl_hash.xa_flags	0
PARAM_VALUE	0	midi2->card->ctl_hash.xa_head	0
PARAM_VALUE	0	midi2->card->ctl_numids.xa_flags	0
PARAM_VALUE	0	midi2->card->ctl_numids.xa_head	0
PARAM_VALUE	0	midi2->card->dev	4096-ptr_max
PARAM_VALUE	0	midi2->card->memory_mutex.first_waiter	0
PARAM_VALUE	0	midi2->card->memory_mutex.owner.counter	0
PARAM_VALUE	0	midi2->card->number	0-31
PARAM_VALUE	0	midi2->card->power_ref.count.counter	0
PARAM_VALUE	0	midi2->card->sync_irq	(-1)
PARAM_VALUE	0	midi2->gadget->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	midi2->gadget->dev.class	0,4096-ptr_max
PARAM_VALUE	0	midi2->gadget->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	midi2->operation_mode	0
CAPPED_DATA	0	midi2->num_eps	1
DATA_SOURCE	0	midi2	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/function/f_midi2.c f_midi2_unbind() -> f_midi2_free_card()

Type	Parameter	Key	Value
PARAM_VALUE	0	midi2	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL