Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/virtio/virtio_ring.c virtqueue_map_single_attrs() -> kmsan_handle_dma()

Type Parameter Key Value
PARAM_VALUE 2 dir 1
CAPPED_DATA 0 phys 1
CAPPED_DATA 1 size 1
CAPPED_DATA 1 size 1
DATA_SOURCE 1 size $2
DATA_SOURCE 2 dir $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte

drivers/virtio/virtio_ring.c vring_map_one_sg() -> kmsan_handle_dma()

Type Parameter Key Value
PARAM_VALUE 2 dir 1-2
DATA_SOURCE 2 dir $2
FUZZY_MAX 2 dir 2
HARD_MAX 2 dir 2
NOCHECK_CALL

kernel/dma/mapping.c dma_map_phys() -> kmsan_handle_dma()

Type Parameter Key Value
PARAM_VALUE 2 dir 0-2
DATA_SOURCE 0 phys $1
DATA_SOURCE 1 size $2
DATA_SOURCE 2 dir $3
FUZZY_MAX 2 dir 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 phys 0-u64max
HOST_DATA 1 size 0-s32max[c]
NO_OVERFLOW_SIMPLE 1 size
UNITS 0 phys unit_byte
UNITS 1 size unit_byte