Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/timer.c get_next_device() -> snd_timer_user_copy_id()

Type Parameter Key Value
PARAM_VALUE 0 id 6972022517524099072
PARAM_VALUE 0 id->dev_class s32min-(-1)
PARAM_VALUE 1 timer 4096-ptr_max
DATA_SOURCE 0 id $0
FUZZY_MAX 0 id->dev_class (-1)
HARD_MAX 0 id->dev_class (-1)
NOCHECK_CALL
USER_DATA 0 id->card s32min-s32max
USER_DATA 0 id->dev_class s32min-(-1)
USER_DATA 0 id->dev_sclass s32min-s32max
USER_DATA 0 id->device s32min-s32max
USER_DATA 0 id->subdevice s32min-s32max
LOCK2 _T->lock

sound/core/timer.c get_next_device() -> snd_timer_user_copy_id()

Type Parameter Key Value
PARAM_VALUE 0 id 6972022517524099072
PARAM_VALUE 0 id->dev_class 1
PARAM_VALUE 0 id->device 0-s32max
PARAM_VALUE 1 timer 4096-ptr_max
PARAM_VALUE 1 timer->tmr_class 2-s32max
DATA_SOURCE 0 id $0
FUZZY_MAX 0 id->device 0
FUZZY_MAX 1 timer->tmr_class 2
NOCHECK_CALL
USER_DATA 0 id->card s32min-s32max
USER_DATA 0 id->dev_class 1
USER_DATA 0 id->dev_sclass s32min-s32max
USER_DATA 0 id->subdevice s32min-s32max
LOCK2 _T->lock

sound/core/timer.c get_next_device() -> snd_timer_user_copy_id()

Type Parameter Key Value
PARAM_VALUE 0 id 6972022517524099072
PARAM_VALUE 0 id->dev_class 1
PARAM_VALUE 0 id->device 0-s32max
PARAM_VALUE 1 timer 4096-ptr_max
PARAM_VALUE 1 timer->tmr_class s32min-1
PARAM_VALUE 1 timer->tmr_device 0-s32max
CAPPED_DATA 0 id->device 1
DATA_SOURCE 0 id $0
FUZZY_MAX 0 id->device 0
FUZZY_MAX 1 timer->tmr_class 1
PARAM_COMPARE 0 id->device <= $1->tmr_device
HARD_MAX 1 timer->tmr_class 1
NOCHECK_CALL
USER_DATA 0 id->card s32min-s32max
USER_DATA 0 id->dev_class 1
USER_DATA 0 id->dev_sclass s32min-s32max
USER_DATA 0 id->subdevice s32min-s32max
LOCK2 _T->lock

sound/core/timer.c get_next_device() -> snd_timer_user_copy_id()

Type Parameter Key Value
PARAM_VALUE 0 id 6972022517524099072
PARAM_VALUE 0 id->card 0-s32max
PARAM_VALUE 0 id->dev_class 2-3
PARAM_VALUE 0 id->device 0-s32max
PARAM_VALUE 0 id->subdevice 0-s32max
PARAM_VALUE 1 timer 4096-ptr_max
PARAM_VALUE 1 timer->tmr_class 3-s32max
CAPPED_DATA 0 id->card 1
CAPPED_DATA 0 id->dev_class 1
CAPPED_DATA 0 id->device 1
DATA_SOURCE 0 id $0
FUZZY_MAX 0 id->card 0
FUZZY_MAX 0 id->device 0
FUZZY_MAX 0 id->subdevice s32max
PARAM_COMPARE 0 id->dev_class < $1->tmr_class
NOCHECK_CALL
USER_DATA 0 id->card 0-s32max[c]
USER_DATA 0 id->dev_class 2-3[c]
USER_DATA 0 id->dev_sclass s32min-s32max
USER_DATA 0 id->device 0-s32max[c]
USER_DATA 0 id->subdevice 0-s32max
LOCK2 _T->lock

sound/core/timer.c get_next_device() -> snd_timer_user_copy_id()

Type Parameter Key Value
PARAM_VALUE 0 id 6972022517524099072
PARAM_VALUE 0 id->card 0-2147483646
PARAM_VALUE 0 id->dev_class 2-3
PARAM_VALUE 0 id->device 0-s32max
PARAM_VALUE 0 id->subdevice 0-s32max
PARAM_VALUE 1 timer 4096-ptr_max
PARAM_VALUE 1 timer->card 4096-ptr_max
PARAM_VALUE 1 timer->card->number 1-s32max
PARAM_VALUE 1 timer->tmr_class 2-3
CAPPED_DATA 0 id->card 1
CAPPED_DATA 0 id->dev_class 1
CAPPED_DATA 0 id->device 1
CAPPED_DATA 1 timer->tmr_class 1
DATA_SOURCE 0 id $0
FUZZY_MAX 0 id->device 0
FUZZY_MAX 0 id->subdevice s32max
PARAM_COMPARE 0 id->card < $1->card->number
PARAM_COMPARE 0 id->dev_class == $1->tmr_class
NOCHECK_CALL
USER_DATA 0 id->card 0-2147483646[c]
USER_DATA 0 id->dev_class 2-3[c]
USER_DATA 0 id->dev_sclass s32min-s32max
USER_DATA 0 id->device 0-s32max[c]
USER_DATA 0 id->subdevice 0-s32max
LOCK2 _T->lock

sound/core/timer.c get_next_device() -> snd_timer_user_copy_id()

Type Parameter Key Value
PARAM_VALUE 0 id 6972022517524099072
PARAM_VALUE 0 id->card 0-s32max
PARAM_VALUE 0 id->dev_class 2-3
PARAM_VALUE 0 id->device 0-2147483646
PARAM_VALUE 0 id->subdevice 0-s32max
PARAM_VALUE 1 timer 4096-ptr_max
PARAM_VALUE 1 timer->card 4096-ptr_max
PARAM_VALUE 1 timer->card->number 0-s32max
PARAM_VALUE 1 timer->tmr_class 2-3
PARAM_VALUE 1 timer->tmr_device 1-s32max
CAPPED_DATA 0 id->card 1
CAPPED_DATA 0 id->dev_class 1
CAPPED_DATA 0 id->device 1
CAPPED_DATA 1 timer->card->number 1
CAPPED_DATA 1 timer->tmr_class 1
DATA_SOURCE 0 id $0
FUZZY_MAX 0 id->card 0
FUZZY_MAX 0 id->subdevice s32max
PARAM_COMPARE 0 id->card == $1->card->number
PARAM_COMPARE 0 id->dev_class == $1->tmr_class
PARAM_COMPARE 0 id->device < $1->tmr_device
NOCHECK_CALL
USER_DATA 0 id->card 0-s32max[c]
USER_DATA 0 id->dev_class 2-3[c]
USER_DATA 0 id->dev_sclass s32min-s32max
USER_DATA 0 id->device 0-2147483646[c]
USER_DATA 0 id->subdevice 0-s32max
LOCK2 _T->lock

sound/core/timer.c get_next_device() -> snd_timer_user_copy_id()

Type Parameter Key Value
PARAM_VALUE 0 id 6972022517524099072
PARAM_VALUE 0 id->card 0-s32max
PARAM_VALUE 0 id->dev_class 2-3
PARAM_VALUE 0 id->device 0-s32max
PARAM_VALUE 0 id->subdevice 0-2147483646
PARAM_VALUE 1 timer 4096-ptr_max
PARAM_VALUE 1 timer->card 4096-ptr_max
PARAM_VALUE 1 timer->card->number 0-s32max
PARAM_VALUE 1 timer->tmr_class 2-3
PARAM_VALUE 1 timer->tmr_device 0-s32max
PARAM_VALUE 1 timer->tmr_subdevice 1-s32max
CAPPED_DATA 0 id->card 1
CAPPED_DATA 0 id->dev_class 1
CAPPED_DATA 0 id->device 1
CAPPED_DATA 0 id->subdevice 1
CAPPED_DATA 1 timer->card->number 1
CAPPED_DATA 1 timer->tmr_class 1
CAPPED_DATA 1 timer->tmr_device 1
DATA_SOURCE 0 id $0
FUZZY_MAX 0 id->card 0
FUZZY_MAX 0 id->device 0
PARAM_COMPARE 0 id->card == $1->card->number
PARAM_COMPARE 0 id->dev_class == $1->tmr_class
PARAM_COMPARE 0 id->device == $1->tmr_device
PARAM_COMPARE 0 id->subdevice < $1->tmr_subdevice
NOCHECK_CALL
USER_DATA 0 id->card 0-s32max[c]
USER_DATA 0 id->dev_class 2-3[c]
USER_DATA 0 id->dev_sclass s32min-s32max
USER_DATA 0 id->device 0-s32max[c]
USER_DATA 0 id->subdevice 0-2147483646[c]
LOCK2 _T->lock

sound/core/timer.c get_next_device() -> snd_timer_user_copy_id()

Type Parameter Key Value
PARAM_VALUE 0 id 6972022517524099072
PARAM_VALUE 0 id->card 0-s32max
PARAM_VALUE 0 id->dev_class 2-3
PARAM_VALUE 0 id->device 0-s32max
PARAM_VALUE 0 id->subdevice 0-s32max
PARAM_VALUE 1 timer 4096-ptr_max
PARAM_VALUE 1 timer->card 4096-ptr_max
PARAM_VALUE 1 timer->card->number 0-s32max
PARAM_VALUE 1 timer->tmr_class 2-3
PARAM_VALUE 1 timer->tmr_device 0-s32max
PARAM_VALUE 1 timer->tmr_subdevice 0-s32max
CAPPED_DATA 0 id->card 1
CAPPED_DATA 0 id->dev_class 1
CAPPED_DATA 0 id->device 1
CAPPED_DATA 0 id->subdevice 1
CAPPED_DATA 1 timer->card->number 1
CAPPED_DATA 1 timer->tmr_class 1
CAPPED_DATA 1 timer->tmr_device 1
CAPPED_DATA 1 timer->tmr_subdevice 1
DATA_SOURCE 0 id $0
FUZZY_MAX 0 id->card 0
FUZZY_MAX 0 id->device 0
FUZZY_MAX 0 id->subdevice s32max
PARAM_COMPARE 0 id->card == $1->card->number
PARAM_COMPARE 0 id->dev_class == $1->tmr_class
PARAM_COMPARE 0 id->device == $1->tmr_device
PARAM_COMPARE 0 id->subdevice == $1->tmr_subdevice
NOCHECK_CALL
USER_DATA 0 id->card 0-s32max[c]
USER_DATA 0 id->dev_class 2-3[c]
USER_DATA 0 id->dev_sclass s32min-s32max
USER_DATA 0 id->device 0-s32max[c]
USER_DATA 0 id->subdevice 0-s32max[c]
LOCK2 _T->lock