Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/goldfish/goldfish_pipe.c goldfish_pipe_poll() -> goldfish_pipe_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pipe->wake_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 pipe->wake_queue.head.next->prev 4096-ptr_max
PARAM_VALUE 0 pipe->wake_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 pipe->wake_queue.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pipe->wake_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 cmd 3
BUF_SIZE 0 pipe s32min-(-2),1-s32max
BUF_SIZE 0 pipe s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/platform/goldfish/goldfish_pipe.c goldfish_pipe_release() -> goldfish_pipe_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pipe 4096-ptr_max
PARAM_VALUE 1 cmd 2
BUF_SIZE 0 pipe (-1),26
BUF_SIZE 0 pipe (-1),26
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/goldfish/goldfish_pipe.c wait_for_host_signal() -> goldfish_pipe_cmd()

Type Parameter Key Value
PARAM_VALUE 0 pipe 4096-ptr_max
PARAM_VALUE 0 pipe->command_buffer->cmd 4,6
PARAM_VALUE 0 pipe->command_buffer->status (-1)
PARAM_VALUE 0 pipe->lock.dep_map->name 0-255
PARAM_VALUE 0 pipe->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 pipe->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pipe->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pipe->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 pipe->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 pipe->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 pipe->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 pipe->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 pipe->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 *pipe->command_buffer->rw_params.ptrs 0,4097-s64max
PARAM_VALUE 0 *pipe->command_buffer->rw_params.sizes 0-4294967295
PARAM_VALUE 1 cmd 5,7
BUF_SIZE 0 pipe s32min-(-2),1-s32max
BUF_SIZE 0 pipe s32min-(-2),1-s32max
DATA_SOURCE 0 pipe $0
FUZZY_MAX 1 cmd 7
BIT_INFO 1 cmd 0x5,0x7
HARD_MAX 1 cmd 7
NOCHECK_CALL