Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/soc/apple/sart.c apple_sart_remove_allowed_region() -> (struct apple_sart_ops)->set_entry()

Type Parameter Key Value
PARAM_VALUE 0 sart 4096-ptr_max
PARAM_VALUE 0 sart->ops 4096-ptr_max
PARAM_VALUE 1 index 0-15
PARAM_VALUE 2 flags 0
PARAM_VALUE 3 paddr_shifted 0
PARAM_VALUE 4 size_shifted 0
DATA_SOURCE 0 sart $0
FUZZY_MAX 1 index 15
CONTAINER 0 -8-16+0 $(-1)
HARD_MAX 1 index 15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/soc/apple/sart.c apple_sart_shutdown() -> (struct apple_sart_ops)->set_entry()

Type Parameter Key Value
PARAM_VALUE 0 sart 4096-ptr_max
PARAM_VALUE 0 sart->ops 4096-ptr_max
PARAM_VALUE 1 index 0-15
PARAM_VALUE 2 flags 0
PARAM_VALUE 3 paddr_shifted 0
PARAM_VALUE 4 size_shifted 0
BUF_SIZE 0 sart s32min-(-2),1-s32max
BUF_SIZE 0 sart s32min-(-2),1-s32max
FUZZY_MAX 1 index 15
CONTAINER 0 -8-16+0 $(-1)
HARD_MAX 1 index 15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex

drivers/soc/apple/sart.c sart_set_entry() -> (struct apple_sart_ops)->set_entry()

Type Parameter Key Value
PARAM_VALUE 0 sart 4096-ptr_max
PARAM_VALUE 0 sart->ops 4096-ptr_max
PARAM_VALUE 1 index 0-15
CAPPED_DATA 4 size_shifted 1
CAPPED_DATA 4 size_shifted 1
DATA_SOURCE 0 sart $0
DATA_SOURCE 1 index $1
DATA_SOURCE 2 flags $2
DATA_SOURCE 3 paddr_shifted $3 [m]
DATA_SOURCE 4 size_shifted $4 [m]
FUZZY_MAX 1 index 15
CONTAINER 0 -8-16+0 $(-1)
PARAM_COMPARE 0 sart->ops->size_max >= $4
PARAM_COMPARE 4 size_shifted <= $0->ops->size_max
HARD_MAX 1 index 15
RX_PATH
NOCHECK_CALL
LOCK2 &pool->lock