Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/f_midi.c f_midi_bind() -> f_midi_unregister_card()

Type Parameter Key Value
PARAM_VALUE 0 midi 4096-ptr_max
PARAM_VALUE 0 midi->card 4096-ptr_max
PARAM_VALUE 0 midi->card->card_dev.class 235665674555068416
PARAM_VALUE 0 midi->card->card_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 midi->card->card_dev.dma_uses_io_tlb 0
PARAM_VALUE 0 midi->card->card_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 midi->card->card_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 midi->card->card_dev.kobj.state_add_uevent_sent 0
PARAM_VALUE 0 midi->card->card_dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 midi->card->card_dev.kobj.state_initialized 1
PARAM_VALUE 0 midi->card->card_dev.kobj.state_remove_uevent_sent 0
PARAM_VALUE 0 midi->card->card_dev.links.status 0
PARAM_VALUE 0 midi->card->card_dev.numa_node (-1)
PARAM_VALUE 0 midi->card->card_dev.parent 4096-ptr_max
PARAM_VALUE 0 midi->card->card_dev.power.child_count.counter 0
PARAM_VALUE 0 midi->card->card_dev.power.deferred_resume 0
PARAM_VALUE 0 midi->card->card_dev.power.disable_depth 1
PARAM_VALUE 0 midi->card->card_dev.power.early_init 1
PARAM_VALUE 0 midi->card->card_dev.power.idle_notification 0
PARAM_VALUE 0 midi->card->card_dev.power.ignore_children 0
PARAM_VALUE 0 midi->card->card_dev.power.is_prepared 0
PARAM_VALUE 0 midi->card->card_dev.power.is_suspended 0
PARAM_VALUE 0 midi->card->card_dev.power.last_status (-1)
PARAM_VALUE 0 midi->card->card_dev.power.needs_force_resume 0
PARAM_VALUE 0 midi->card->card_dev.power.qos 0
PARAM_VALUE 0 midi->card->card_dev.power.request 0
PARAM_VALUE 0 midi->card->card_dev.power.request_pending 0
PARAM_VALUE 0 midi->card->card_dev.power.runtime_auto 1
PARAM_VALUE 0 midi->card->card_dev.power.runtime_error 0
PARAM_VALUE 0 midi->card->card_dev.power.runtime_status 2
PARAM_VALUE 0 midi->card->card_dev.power.timer_expires 0
PARAM_VALUE 0 midi->card->card_dev.power.usage_count.counter 0
PARAM_VALUE 0 midi->card->card_dev.release 530793378695925760
PARAM_VALUE 0 midi->card->controls_rwlock.magic 3736018669
PARAM_VALUE 0 midi->card->controls_rwlock.owner (-1)
PARAM_VALUE 0 midi->card->controls_rwlock.owner_cpu u32max
PARAM_VALUE 0 midi->card->controls_rwsem.first_waiter 0
PARAM_VALUE 0 midi->card->ctl_hash.xa_flags 0
PARAM_VALUE 0 midi->card->ctl_hash.xa_head 0
PARAM_VALUE 0 midi->card->ctl_numids.xa_flags 0
PARAM_VALUE 0 midi->card->ctl_numids.xa_head 0
PARAM_VALUE 0 midi->card->dev 4096-ptr_max
PARAM_VALUE 0 midi->card->memory_mutex.first_waiter 0
PARAM_VALUE 0 midi->card->memory_mutex.owner.counter 0
PARAM_VALUE 0 midi->card->number 0-31
PARAM_VALUE 0 midi->card->power_ref.count.counter 0
PARAM_VALUE 0 midi->card->sync_irq (-1)
PARAM_VALUE 0 midi->gadget->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 midi->in_last_port 0
PARAM_VALUE 0 midi->in_ports 0-s32max
PARAM_VALUE 0 midi->out_ports 0-s32max
PARAM_VALUE 0 midi->rmidi 4096-ptr_max
PARAM_VALUE 0 midi->rmidi->card 4096-ptr_max
PARAM_VALUE 0 midi->rmidi->info_flags 0
PARAM_VALUE 0 midi->rmidi->open_mutex.first_waiter 0
PARAM_VALUE 0 midi->rmidi->open_mutex.owner.counter 0
BUF_SIZE 0 midi->in_ep (-1),72
BUF_SIZE 0 midi->out_ep (-1),72
CAPPED_DATA 0 midi->in_ports 1
CAPPED_DATA 0 midi->index 1
CAPPED_DATA 0 midi->out_ports 1
DATA_SOURCE 0 midi r func_to_midi
FUZZY_MAX 0 midi->in_ports 0
FUZZY_MAX 0 midi->out_ports 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 midi->in_ep->address 0-255[u]
USER_DATA 0 midi->out_ep->address 0-255[u]
NO_OVERFLOW_SIMPLE 0 midi->in_ep->num
NO_OVERFLOW_SIMPLE 0 midi->out_ep->num

drivers/usb/gadget/function/f_midi.c f_midi_register_card() -> f_midi_unregister_card()

Type Parameter Key Value
PARAM_VALUE 0 midi 4096-ptr_max
PARAM_VALUE 0 midi->gadget->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 midi->gadget->dev.class 0,4096-ptr_max
PARAM_VALUE 0 midi->gadget->dev.driver 0,4096-ptr_max
DATA_SOURCE 0 midi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL