Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/io-pgtable-arm.c __arm_lpae_clear_pte() -> __arm_lpae_sync_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
PARAM_VALUE 1 num_entries 1-s32max
PARAM_VALUE 2 cfg 4096-ptr_max
PARAM_VALUE 2 cfg->coherent_walk 0
CAPPED_DATA 1 num_entries 1
DATA_SOURCE 0 ptep $0
DATA_SOURCE 1 num_entries $2
DATA_SOURCE 2 cfg $1
NOCHECK_CALL

drivers/iommu/io-pgtable-arm.c __arm_lpae_init_pte() -> __arm_lpae_sync_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
PARAM_VALUE 2 cfg 4096-ptr_max
PARAM_VALUE 2 cfg->coherent_walk 0
BUF_SIZE 2 cfg 104
CAPPED_DATA 1 num_entries 1
DATA_SOURCE 0 ptep $5
DATA_SOURCE 1 num_entries $4
NOCHECK_CALL

drivers/iommu/io-pgtable-arm.c __arm_lpae_map() -> __arm_lpae_sync_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
PARAM_VALUE 0 *ptep 1-u64max
PARAM_VALUE 1 num_entries 1
PARAM_VALUE 2 cfg 4096-ptr_max
PARAM_VALUE 2 cfg->coherent_walk 0
BUF_SIZE 2 cfg 104
DATA_SOURCE 0 ptep $7 [m]
NOCHECK_CALL

drivers/iommu/io-pgtable-arm.c arm_lpae_install_table() -> __arm_lpae_sync_pte()

Type Parameter Key Value
PARAM_VALUE 0 ptep 4096-ptr_max
PARAM_VALUE 1 num_entries 1
PARAM_VALUE 2 cfg 4096-ptr_max
PARAM_VALUE 2 cfg->alloc 0,4096-ptr_max
PARAM_VALUE 2 cfg->coherent_walk 0
BUF_SIZE 2 cfg 104
DATA_SOURCE 0 ptep $1
NOCHECK_CALL