Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/amd/iommu.c clone_alias() -> get_dte256()

Type Parameter Key Value
PARAM_VALUE 0 iommu 1-u64max
PARAM_VALUE 1 dev_data 1-u64max
PARAM_VALUE 2 dte 2708643739587248128
BUF_SIZE 1 dev_data s32min-(-2),1-s32max
BUF_SIZE 1 dev_data s32min-(-2),1-s32max
DATA_SOURCE 0 iommu r rlookup_amd_iommu
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dev_data unit_byte
HALF_LOCKED2 flags

drivers/iommu/amd/iommu.c dump_dte_entry() -> get_dte256()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->iommu.dev->bus 0,4096-ptr_max
PARAM_VALUE 0 iommu->iommu.dev->class 0,4096-ptr_max
PARAM_VALUE 0 iommu->iommu.dev->driver 0,4096-ptr_max
PARAM_VALUE 0 iommu->pci_seg 4096-ptr_max
PARAM_VALUE 1 dev_data 0,4096-ptr_max
PARAM_VALUE 2 dte 4656959967724826624
BUF_SIZE 1 dev_data (-1),416
BUF_SIZE 1 dev_data (-1),416
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 dev_data r find_dev_data
STR_LEN 0 iommu 2-3
STR_LEN 0 iommu 2-3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock