Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1pt_install_table() -> pt_table_install64()

Type Parameter Key Value
PARAM_VALUE 0 pts 3681920898891853824,4153340710866096128
DATA_SOURCE 0 pts $0
BIT_INFO 1 table_entry 0x6000000000000001,0xffffffffffffffff
BIT_INFO 1 table_entry 0x6000000000000001,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_pt_install_table() -> pt_table_install64()

Type Parameter Key Value
PARAM_VALUE 0 pts 1882941498729287680,3034762744903032832
PARAM_VALUE 0 pts->table 4096-ptr_max
DATA_SOURCE 0 pts $0
BIT_INFO 1 table_entry 0x27,0xffffffffffffffff
BIT_INFO 1 table_entry 0x27,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1pt_install_table() -> pt_table_install64()

Type Parameter Key Value
PARAM_VALUE 0 pts 19578107662376960,6607415258817294336
DATA_SOURCE 0 pts $0
BIT_INFO 1 table_entry 0x6000000000000001,0xffffffffffffffff
BIT_INFO 1 table_entry 0x6000000000000001,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscvpt_install_table() -> pt_table_install64()

Type Parameter Key Value
PARAM_VALUE 0 pts 8105923190261862400,8249491814993137664
PARAM_VALUE 0 pts->table 4096-ptr_max
PARAM_VALUE 1 table_entry 1,1025-18014398509480961
DATA_SOURCE 0 pts $0
BIT_INFO 1 table_entry 0x1,0x3fffffffffffff
BIT_INFO 1 table_entry 0x1,0x3fffffffffffff
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_pt_install_table() -> pt_table_install64()

Type Parameter Key Value
PARAM_VALUE 0 pts 3889627265878335488,5714859775314206720
PARAM_VALUE 0 pts->table 4096-ptr_max
PARAM_VALUE 1 table_entry 3,4099-4503599627366403
DATA_SOURCE 0 pts $0
BIT_INFO 1 table_entry 0x3,0xfffffffffffff
BIT_INFO 1 table_entry 0x3,0xfffffffffffff
RX_PATH
TASK_NOT_RUNNING