Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_descend() -> pt_descend param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 0-254,u32max |
| PARAM_VALUE | 3 | table | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg->iotlb_gather | (-1),48 |
| DATA_SOURCE | 1 | arg | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | arg->oa |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_descend() -> pt_descend param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 0-254,u32max |
| PARAM_VALUE | 3 | table | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg->iotlb_gather | (-1),48 |
| DATA_SOURCE | 1 | arg | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | arg->oa |
drivers/iommu/generic_pt/fmt/iommu_mock.c pt_descend() -> pt_descend param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 0-254,u32max |
| PARAM_VALUE | 3 | table | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg->iotlb_gather | (-1),48 |
| DATA_SOURCE | 1 | arg | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | arg->oa |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_descend() -> pt_descend param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 0-254,u32max |
| PARAM_VALUE | 3 | table | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg->iotlb_gather | (-1),48 |
| DATA_SOURCE | 1 | arg | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | arg->oa |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_descend() -> pt_descend param 2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4096-ptr_max |
| PARAM_VALUE | 2 | level | 0-254,u32max |
| PARAM_VALUE | 3 | table | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg | (-1),8,16,24,40 |
| BUF_SIZE | 1 | arg->iotlb_gather | (-1),48 |
| DATA_SOURCE | 1 | arg | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | arg->oa |
drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_walk_range() -> pt_walk_range param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4627131319536590848,5179471144816209920,5307219110259068928,5572621978234724352,5948299016412405760,6034519702065700864 |
| PARAM_VALUE | 1 | arg | 0,1317030290591670272,1404502059194839040,3433559133274312704,6176705781931167744,6696723813633863680 |
| BUF_SIZE | 1 | arg | (-1),8,16,40 |
| BUF_SIZE | 1 | arg | (-1),8,16,40 |
| DATA_SOURCE | 0 | range | $0 |
| DATA_SOURCE | 1 | arg | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_walk_range() -> pt_walk_range param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 1686463107147075584,4673630643361607680,7479217748038828032,8426188283726516224,8604386499066867712 |
| PARAM_VALUE | 1 | arg | 0,74321645993480192,373180799793393664,4792302110909104128,6290884000842883072 |
| BUF_SIZE | 1 | arg | (-1),8,40 |
| BUF_SIZE | 1 | arg | (-1),8,40 |
| DATA_SOURCE | 0 | range | $0 |
| DATA_SOURCE | 1 | arg | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/generic_pt/fmt/iommu_mock.c pt_walk_range() -> pt_walk_range param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 1327532484463685632,1702647589132652544,4270118808106242048,6442373486674202624,7396120912076480512,8565615692461563904 |
| PARAM_VALUE | 1 | arg | 0,55072809168052224,70602010578919424,1427972851714387968,3848156225483710464,4937221853813952512 |
| BUF_SIZE | 1 | arg | (-1),8,16,40 |
| BUF_SIZE | 1 | arg | (-1),8,16,40 |
| DATA_SOURCE | 0 | range | $0 |
| DATA_SOURCE | 1 | arg | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_walk_range() -> pt_walk_range param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 2600637431878389760,3384072506876182528,4096755351869837312,4210434713384980480,4492134051843731456 |
| PARAM_VALUE | 1 | arg | 0,2468421448131207168,7017750906145071104,8825526410171473920,9137336957497360384 |
| BUF_SIZE | 1 | arg | (-1),8,40 |
| BUF_SIZE | 1 | arg | (-1),8,40 |
| DATA_SOURCE | 0 | range | $0 |
| DATA_SOURCE | 1 | arg | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_walk_range() -> pt_walk_range param 1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 9304300315496448,1265296944994095104,3916666939067740160,6282042891780599808,6889156749762023424,8853843376051085312 |
| PARAM_VALUE | 1 | arg | 0,1612619795584466944,4586122024534650880,6268526989227237376,6827505121090887680,8839438207455727616 |
| BUF_SIZE | 1 | arg | (-1),8,16,40 |
| BUF_SIZE | 1 | arg | (-1),8,16,40 |
| DATA_SOURCE | 0 | range | $0 |
| DATA_SOURCE | 1 | arg | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |