Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virt/nitro_enclaves/ne_pci_dev.c ne_do_request() -> ne_retrieve_reply()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 1 cmd_reply 639338968555380736,2654058593864171520,3351052092311433216,3939651221172723712,5623263551337578496,8638609990205509632
PARAM_VALUE 2 cmd_reply_size 72
DATA_SOURCE 0 pdev $0
DATA_SOURCE 1 cmd_reply $4
DATA_SOURCE 2 cmd_reply_size $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 cmd_reply->enclave_cid 0-u64max
HOST_DATA 1 cmd_reply->flags 0-u64max
HOST_DATA 1 cmd_reply->mem_regions 0-u64max
HOST_DATA 1 cmd_reply->mem_size 0-u64max
HOST_DATA 1 cmd_reply->nr_vcpus 0-u64max
HOST_DATA 1 cmd_reply->slot_count 0-u64max
HOST_DATA 1 cmd_reply->slot_uid 0-u64max
HOST_DATA 1 cmd_reply->state 0-1,3-u16max
UNITS 2 cmd_reply_size unit_byte
LOCK2 &ne_pci_dev->pci_dev_mutex
HALF_LOCKED2 &ne_enclave->enclave_info_mutex
HALF_LOCKED2 &ne_pci_dev->enclaves_list_mutex
TYPE_LOCK (struct ne_pci_dev)->pci_dev_mutex