Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/seq/oss/seq_oss_ioctl.c snd_seq_oss_ioctl() -> snd_seq_oss_writeq_sync()

Type Parameter Key Value
PARAM_VALUE 0 q 1-u64max
HALF_LOCKED2 global &register_mutex

sound/core/seq/oss/seq_oss_ioctl.c snd_seq_oss_ioctl() -> snd_seq_oss_writeq_sync()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dp 4096-ptr_max
PARAM_VALUE 0 q->dp->timer 4096-ptr_max
PARAM_VALUE 0 q->dp->timer->cur_tick 1-u32max
PARAM_VALUE 0 q->sync_event_put s32min-(-1),1-s32max
PARAM_VALUE 0 q->sync_time 0-4294967294
CAPPED_DATA 0 q->sync_time 1
PARAM_COMPARE 0 q->dp->timer->cur_tick > $0->sync_time
HALF_LOCKED2 global &register_mutex