Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/riscv/iommu.c riscv_iommu_bond_unlink() -> riscv_iommu_cmd_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 2692629538027094016 |
| PARAM_VALUE | 1 | cmd->dword0 | 0-8589934591 |
| PARAM_VALUE | 1 | cmd->dword1 | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/riscv/iommu.c riscv_iommu_iodir_iotinval() -> riscv_iommu_cmd_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->ddt_mode | 0,2-u32max |
| PARAM_VALUE | 1 | cmd | 8885321739393507328 |
| PARAM_VALUE | 1 | cmd->dword0 | 0-1152921508901814271 |
| PARAM_VALUE | 1 | cmd->dword1 | 0 |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/riscv/iommu.c riscv_iommu_iodir_set_mode() -> riscv_iommu_cmd_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->cmdq.iommu->cmdq.irq | 0 |
| PARAM_VALUE | 0 | iommu->cmdq.iommu->fltq.irq | 0 |
| PARAM_VALUE | 0 | iommu->cmdq.qbr | 0,24,40 |
| PARAM_VALUE | 0 | iommu->cmdq.qcr | 0,72,76 |
| PARAM_VALUE | 0 | iommu->cmdq.qid | 0-1 |
| PARAM_VALUE | 0 | iommu->ddt_mode | 0,4 |
| PARAM_VALUE | 0 | iommu->fltq.iommu->cmdq.irq | 0 |
| PARAM_VALUE | 0 | iommu->fltq.iommu->fltq.irq | 0 |
| PARAM_VALUE | 0 | iommu->fltq.qbr | 0,24,40 |
| PARAM_VALUE | 0 | iommu->fltq.qcr | 0,72,76 |
| PARAM_VALUE | 0 | iommu->fltq.qid | 0-1 |
| PARAM_VALUE | 0 | iommu->iommu.ops->blocked_domain | 0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960 |
| PARAM_VALUE | 0 | iommu->iommu.ops->capable | 0,462993810217750528,1218212999370723328,2068158786969784320,4814261608348082176,5273877608991895552,6378217523337945088 |
| PARAM_VALUE | 0 | iommu->iommu.ops->def_domain_type | 0,757924381194936320,3094419801163452416,5117618908541267968,5322346410050064384 |
| PARAM_VALUE | 0 | iommu->iommu.ops->default_domain | 0,5314750282517213184 |
| PARAM_VALUE | 0 | iommu->iommu.ops->device_group | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_identity | 0,1824181410664046592 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_nested | 0,3787243451007922176,5587605712304230400 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_paging | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 0 | iommu->iommu.ops->get_resv_regions | 0,1505888117193461760,1796066543583182848,4029229782243753984,4300132076315938816,5136130486519664640,5287335354533576704,8650506204712415232 |
| PARAM_VALUE | 0 | iommu->iommu.ops->get_viommu_size | 0,890856020400304128,8808264738914050048 |
| PARAM_VALUE | 0 | iommu->iommu.ops->hw_info | 0,4734748057756364800,6417568837149130752,7401392304513224704 |
| PARAM_VALUE | 0 | iommu->iommu.ops->identity_domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->is_attach_deferred | 0,5818038523887214592,7788280626033360896 |
| PARAM_VALUE | 0 | iommu->iommu.ops->of_xlate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->owner | 0 |
| PARAM_VALUE | 0 | iommu->iommu.ops->page_response | 0,6092340583743537152,6863561957491752960,7827827559097483264 |
| PARAM_VALUE | 0 | iommu->iommu.ops->probe_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->probe_finalize | 0,4224741400359067648,6516402457225019392,8434375612550443008,8539622431235026944 |
| PARAM_VALUE | 0 | iommu->iommu.ops->release_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->release_domain | 0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808 |
| PARAM_VALUE | 0 | iommu->iommu.ops->viommu_init | 0,3877766920581869568,5010379558565462016 |
| PARAM_VALUE | 0 | iommu->irqs_count | 0-s32max |
| PARAM_VALUE | 1 | cmd | 6135090672692461568 |
| PARAM_VALUE | 1 | cmd->dword0 | 0-1023 |
| PARAM_VALUE | 1 | cmd->dword1 | 0 |
| BUF_SIZE | 0 | iommu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | iommu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | iommu->dev | (-1),1616 |
| CAPPED_DATA | 0 | iommu->ddt_mode | 1 |
| DATA_SOURCE | 0 | iommu | $0 |
| FUZZY_MAX | 0 | iommu->irqs_count | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | iommu->caps | 0-u64max |
| HOST_DATA | 0 | iommu->cmdq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->caps | 0-u64max |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.irq | 0 |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->ddt_mode | 0,4 |
| HOST_DATA | 0 | iommu->cmdq.iommu->ddt_phys | 0-u64max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fctl | 0-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.irq | 0 |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->icvec | 0-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->iommu.ready | 0-1 |
| HOST_DATA | 0 | iommu->cmdq.irq | 0-u32max |
| HOST_DATA | 0 | iommu->cmdq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->cmdq.phys | 0,4096-72057594037923840[c] |
| HOST_DATA | 0 | iommu->cmdq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.qbr | 24 |
| HOST_DATA | 0 | iommu->cmdq.qcr | 72 |
| HOST_DATA | 0 | iommu->cmdq.qid | 0 |
| HOST_DATA | 0 | iommu->cmdq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->ddt_phys | 0-u64max |
| HOST_DATA | 0 | iommu->fctl | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->caps | 0-u64max |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.irq | 0 |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->ddt_mode | 0,4 |
| HOST_DATA | 0 | iommu->fltq.iommu->ddt_phys | 0-u64max |
| HOST_DATA | 0 | iommu->fltq.iommu->fctl | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.irq | 0 |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->icvec | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->iommu.ready | 0-1 |
| HOST_DATA | 0 | iommu->fltq.irq | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.mask | 4095 |
| HOST_DATA | 0 | iommu->fltq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.qbr | 40 |
| HOST_DATA | 0 | iommu->fltq.qcr | 76 |
| HOST_DATA | 0 | iommu->fltq.qid | 1 |
| HOST_DATA | 0 | iommu->fltq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->icvec | 0-u32max |
| HOST_DATA | 0 | iommu->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | iommu->iommu.ready | 0-1 |
| HOST_DATA | 0 | iommu->irqs_count | 1-s32max[c] |
| UNITS | 0 | iommu | unit_byte |
drivers/iommu/riscv/iommu.c riscv_iommu_iodir_set_mode() -> riscv_iommu_cmd_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->cmdq.iommu->cmdq.irq | 0 |
| PARAM_VALUE | 0 | iommu->cmdq.iommu->fltq.irq | 0 |
| PARAM_VALUE | 0 | iommu->cmdq.qbr | 0,24,40 |
| PARAM_VALUE | 0 | iommu->cmdq.qcr | 0,72,76 |
| PARAM_VALUE | 0 | iommu->cmdq.qid | 0-1 |
| PARAM_VALUE | 0 | iommu->ddt_mode | 0,4 |
| PARAM_VALUE | 0 | iommu->fltq.iommu->cmdq.irq | 0 |
| PARAM_VALUE | 0 | iommu->fltq.iommu->fltq.irq | 0 |
| PARAM_VALUE | 0 | iommu->fltq.qbr | 0,24,40 |
| PARAM_VALUE | 0 | iommu->fltq.qcr | 0,72,76 |
| PARAM_VALUE | 0 | iommu->fltq.qid | 0-1 |
| PARAM_VALUE | 0 | iommu->iommu.ops->blocked_domain | 0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960 |
| PARAM_VALUE | 0 | iommu->iommu.ops->capable | 0,462993810217750528,1218212999370723328,2068158786969784320,4814261608348082176,5273877608991895552,6378217523337945088 |
| PARAM_VALUE | 0 | iommu->iommu.ops->def_domain_type | 0,757924381194936320,3094419801163452416,5117618908541267968,5322346410050064384 |
| PARAM_VALUE | 0 | iommu->iommu.ops->default_domain | 0,5314750282517213184 |
| PARAM_VALUE | 0 | iommu->iommu.ops->device_group | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_identity | 0,1824181410664046592 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_nested | 0,3787243451007922176,5587605712304230400 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_paging | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | iommu->iommu.ops->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 0 | iommu->iommu.ops->get_resv_regions | 0,1505888117193461760,1796066543583182848,4029229782243753984,4300132076315938816,5136130486519664640,5287335354533576704,8650506204712415232 |
| PARAM_VALUE | 0 | iommu->iommu.ops->get_viommu_size | 0,890856020400304128,8808264738914050048 |
| PARAM_VALUE | 0 | iommu->iommu.ops->hw_info | 0,4734748057756364800,6417568837149130752,7401392304513224704 |
| PARAM_VALUE | 0 | iommu->iommu.ops->identity_domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->is_attach_deferred | 0,5818038523887214592,7788280626033360896 |
| PARAM_VALUE | 0 | iommu->iommu.ops->of_xlate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->owner | 0 |
| PARAM_VALUE | 0 | iommu->iommu.ops->page_response | 0,6092340583743537152,6863561957491752960,7827827559097483264 |
| PARAM_VALUE | 0 | iommu->iommu.ops->probe_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->probe_finalize | 0,4224741400359067648,6516402457225019392,8434375612550443008,8539622431235026944 |
| PARAM_VALUE | 0 | iommu->iommu.ops->release_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | iommu->iommu.ops->release_domain | 0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808 |
| PARAM_VALUE | 0 | iommu->iommu.ops->viommu_init | 0,3877766920581869568,5010379558565462016 |
| PARAM_VALUE | 0 | iommu->irqs_count | 0-s32max |
| PARAM_VALUE | 1 | cmd | 6135090672692461568 |
| PARAM_VALUE | 1 | cmd->dword0 | 0-1023 |
| PARAM_VALUE | 1 | cmd->dword1 | 0 |
| BUF_SIZE | 0 | iommu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | iommu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | iommu->dev | (-1),1616 |
| CAPPED_DATA | 0 | iommu->ddt_mode | 1 |
| DATA_SOURCE | 0 | iommu | $0 |
| FUZZY_MAX | 0 | iommu->irqs_count | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | iommu->caps | 0-u64max |
| HOST_DATA | 0 | iommu->cmdq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->caps | 0-u64max |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.irq | 0 |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->cmdq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->ddt_mode | 0,4 |
| HOST_DATA | 0 | iommu->cmdq.iommu->ddt_phys | 0-u64max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fctl | 0-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.irq | 0 |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->fltq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->icvec | 0-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | iommu->cmdq.iommu->iommu.ready | 0-1 |
| HOST_DATA | 0 | iommu->cmdq.irq | 0-u32max |
| HOST_DATA | 0 | iommu->cmdq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->cmdq.phys | 0,4096-72057594037923840[c] |
| HOST_DATA | 0 | iommu->cmdq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->cmdq.qbr | 24 |
| HOST_DATA | 0 | iommu->cmdq.qcr | 72 |
| HOST_DATA | 0 | iommu->cmdq.qid | 0 |
| HOST_DATA | 0 | iommu->cmdq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->ddt_phys | 0-u64max |
| HOST_DATA | 0 | iommu->fctl | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->caps | 0-u64max |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.irq | 0 |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->cmdq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->ddt_mode | 0,4 |
| HOST_DATA | 0 | iommu->fltq.iommu->ddt_phys | 0-u64max |
| HOST_DATA | 0 | iommu->fltq.iommu->fctl | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.head.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.irq | 0 |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.mask | 1-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->fltq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.iommu->icvec | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.iommu->iommu.ready | 0-1 |
| HOST_DATA | 0 | iommu->fltq.irq | 0-u32max |
| HOST_DATA | 0 | iommu->fltq.mask | 4095 |
| HOST_DATA | 0 | iommu->fltq.prod.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->fltq.qbr | 40 |
| HOST_DATA | 0 | iommu->fltq.qcr | 76 |
| HOST_DATA | 0 | iommu->fltq.qid | 1 |
| HOST_DATA | 0 | iommu->fltq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | iommu->icvec | 0-u32max |
| HOST_DATA | 0 | iommu->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | iommu->iommu.ready | 0-1 |
| HOST_DATA | 0 | iommu->irqs_count | 1-s32max[c] |
| UNITS | 0 | iommu | unit_byte |
drivers/iommu/riscv/iommu.c riscv_iommu_iodir_update() -> riscv_iommu_cmd_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->ddt_mode | 0,4 |
| PARAM_VALUE | 1 | cmd | 7635828914810929152 |
| PARAM_VALUE | 1 | cmd->dword1 | 0 |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/riscv/iommu.c riscv_iommu_iodir_update() -> riscv_iommu_cmd_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu->ddt_mode | 0,4 |
| PARAM_VALUE | 1 | cmd | 7635828914810929152 |
| PARAM_VALUE | 1 | cmd->dword1 | 0 |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/riscv/iommu.c riscv_iommu_iotlb_inval_iommu() -> riscv_iommu_cmd_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 1577860734075183104 |
| PARAM_VALUE | 1 | cmd->dword0 | 1024-8589935615,17179870208-25769804799 |
| PARAM_VALUE | 1 | cmd->dword1 | 512,1536-4611686018427387392 |
| DATA_SOURCE | 0 | iommu | $0 |
| BIT_INFO | 0 | iommu->caps | 0x80000000000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
drivers/iommu/riscv/iommu.c riscv_iommu_iotlb_inval_iommu() -> riscv_iommu_cmd_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 1577860734075183104 |
| PARAM_VALUE | 1 | cmd->dword0 | 1024-8589936639,17179870208-25769805823,34359740416-42949675007 |
| PARAM_VALUE | 1 | cmd->dword1 | 0,1024-4611686018427386880 |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
drivers/iommu/riscv/iommu.c riscv_iommu_iotlb_inval_iommu() -> riscv_iommu_cmd_send()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 1577860734075183104 |
| PARAM_VALUE | 1 | cmd->dword0 | 0-8589934591 |
| PARAM_VALUE | 1 | cmd->dword1 | 0 |
| DATA_SOURCE | 0 | iommu | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |