Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/generic_pt/fmt/iommu_vtdss.c __map_range() -> vtdss_pt_load_entry_raw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pts | 3889627265878335488 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c __map_range_leaf() -> vtdss_pt_load_entry_raw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pts | 384714137361584128 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c __unmap_range() -> vtdss_pt_load_entry_raw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pts | 7284644712453578752 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c __unmap_range() -> vtdss_pt_load_entry_raw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pts | 7284644712453578752 |
| PARAM_VALUE | 0 | pts->index | 0-65534 |
| PARAM_VALUE | 0 | pts->table | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_load_entry() -> vtdss_pt_load_entry_raw()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pts | 3889627265878335488,4453923205396987904,4648276036759871488,5714859775314206720 |
| DATA_SOURCE | 0 | pts | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |