Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

drivers/accessibility/speakup/speakup_apollo.c do_catch_up() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
LOCK2 global &spk_mutex
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_keypc.c do_catch_up() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
LOCK2 global &spk_mutex
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_decext.c do_catch_up() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
LOCK2 global &spk_mutex
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_dtlk.c do_catch_up() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
LOCK2 global &spk_mutex
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_dectlk.c do_catch_up() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
LOCK2 global &spk_mutex
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_soft.c softsynth_poll() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &speakup_info.spinlock
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_soft.c softsynthx_read() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_soft.c softsynthx_read() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_soft.c softsynthx_read() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_acntpc.c do_catch_up() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
LOCK2 global &spk_mutex
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/thread.c speakup_thread() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
LOCK2 global &spk_mutex
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/synth.c _spk_do_catch_up() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
LOCK2 global &spk_mutex
TYPE_LOCK (struct speakup_info_t)->spinlock

drivers/accessibility/speakup/speakup_decpc.c do_catch_up() -> synth_buffer_empty()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 flags
LOCK2 global &speakup_info.spinlock
LOCK2 global &spk_mutex
TYPE_LOCK (struct speakup_info_t)->spinlock