Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/ivpu/ivpu_hw.c ivpu_is_fpga() -> ivpu_get_platform()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->platform 0,2-4,8
DATA_SOURCE 0 vdev $0
BIT_INFO 0 vdev->hw->dma_bits 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.dma.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.global.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.runtime.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.shave.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.user.start
HALF_LOCKED2 &pool->lock

drivers/accel/ivpu/ivpu_hw.c ivpu_is_fpga() -> ivpu_get_platform()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->platform 0,2,4,8
DATA_SOURCE 0 vdev $0
BIT_INFO 0 vdev->hw->dma_bits 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.dma.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.global.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.runtime.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.shave.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.user.start
HALF_LOCKED2 &pool->lock

drivers/accel/ivpu/ivpu_hw.c ivpu_is_simics() -> ivpu_get_platform()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->platform 0,2-4,8
DATA_SOURCE 0 vdev $0
BIT_INFO 0 vdev->hw->dma_bits 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.dma.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.global.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.runtime.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.shave.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.user.start
HALF_LOCKED2 &pool->lock

drivers/accel/ivpu/ivpu_mmu.c ivpu_is_fpga() -> ivpu_get_platform()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->platform 0,2-4,8
CAPPED_DATA 0 vdev->hw->ranges.runtime.start 1
DATA_SOURCE 0 vdev $0
BIT_INFO 0 vdev->hw->dma_bits 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.dma.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.global.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.runtime.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.shave.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.user.start
HALF_LOCKED2 &pool->lock

drivers/accel/ivpu/ivpu_mmu.c ivpu_is_fpga() -> ivpu_get_platform()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->platform 0,2,4,8
CAPPED_DATA 0 vdev->hw->ranges.runtime.start 1
DATA_SOURCE 0 vdev $0
BIT_INFO 0 vdev->hw->dma_bits 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.dma.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.global.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.runtime.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.shave.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.user.start
HALF_LOCKED2 &pool->lock

drivers/accel/ivpu/ivpu_mmu.c ivpu_is_simics() -> ivpu_get_platform()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->platform 0,2-4,8
CAPPED_DATA 0 vdev->hw->ranges.runtime.start 1
DATA_SOURCE 0 vdev $0
BIT_INFO 0 vdev->hw->dma_bits 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.dma.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.global.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.runtime.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.shave.start
NO_OVERFLOW_SIMPLE 0 vdev->hw->ranges.user.start
HALF_LOCKED2 &pool->lock