Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virt/acrn/ioreq.c acrn_ioreq_request_clear() -> acrn_ioreq_complete_request()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 1 vcpu 0-15
PARAM_VALUE 2 acrn_req 0
CAPPED_DATA 1 vcpu 1
DATA_SOURCE 1 vcpu r find_next_bit
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &vm->ioreq_clients_lock
LOCK2 bh
TYPE_LOCK (struct acrn_vm)->ioreq_clients_lock

drivers/virt/acrn/ioreq.c acrn_ioreq_request_default_complete() -> acrn_ioreq_complete_request()

Type Parameter Key Value
PARAM_VALUE 0 client 1-u64max
PARAM_VALUE 2 acrn_req 0
DATA_SOURCE 1 vcpu $1
PREEMPT_ADD <- disables preempt
USER_DATA 1 vcpu 0-u16max
LOCK2 &vm->ioreq_clients_lock
LOCK2 bh
TYPE_LOCK (struct acrn_vm)->ioreq_clients_lock

drivers/virt/acrn/ioreq.c ioreq_task() -> acrn_ioreq_complete_request()

Type Parameter Key Value
PARAM_VALUE 0 client 4096-ptr_max
PARAM_VALUE 0 client->vm 4096-ptr_max
PARAM_VALUE 0 client->vm->ioreq_buf 4096-ptr_max
PARAM_VALUE 1 vcpu 0-64
PARAM_VALUE 2 acrn_req 4096-ptr_max
BUF_SIZE 0 client 128
BUF_SIZE 0 client 128
CAPPED_DATA 1 vcpu 1
DATA_SOURCE 0 client $0
DATA_SOURCE 1 vcpu r find_first_bit
PARAM_COMPARE 1 vcpu <= $2
PARAM_COMPARE 2 acrn_req >= $1
PARAM_COMPARE 2 acrn_req >= $1
NOCHECK_CALL