Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/habanalabs/common/memory.c hl_pin_host_memory() -> get_user_memory()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 2 size 1-u64max
PARAM_VALUE 4 start 0,4096-u64max
PARAM_VALUE 5 offset 0-4095
PARAM_VALUE 6 userptr 4096-ptr_max
PARAM_VALUE 6 userptr->dma_mapped 0
PARAM_VALUE 6 userptr->job_node.next 4096-ptr_max
PARAM_VALUE 6 userptr->job_node.next->next 4096-ptr_max
PARAM_VALUE 6 userptr->job_node.prev 4096-ptr_max
PARAM_VALUE 6 userptr->job_node.prev->next 4096-ptr_max
PARAM_VALUE 6 userptr->job_node.prev->prev 4096-ptr_max
PARAM_VALUE 6 userptr->sgt 4096-ptr_max
PARAM_VALUE 6 userptr->size 1-u64max
BUF_SIZE 6 userptr 104
BUF_SIZE 6 userptr->sgt 16
CAPPED_DATA 1 addr 1
CAPPED_DATA 1 addr 1
CAPPED_DATA 4 start 1
CAPPED_DATA 4 start 1
CAPPED_DATA 5 offset 1
CAPPED_DATA 6 userptr->addr 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 size $2
DATA_SOURCE 6 userptr $3
BIT_INFO 4 start 0x0,0xfffffffffffff000
BIT_INFO 4 start 0x0,0xfffffffffffff000
NOSPEC 1 addr
NOSPEC 1 addr
NOSPEC 6 userptr->addr
USER_DATA 1 addr 0-s32max[c]
USER_DATA 2 size 1-u64max[u]
USER_DATA 3 npages 0-u32max[c]
USER_DATA 4 start 0,4096-2147479552[c]
USER_DATA 5 offset 0-4095[c]
USER_DATA 6 userptr->addr 0-s32max[c]
USER_DATA 6 userptr->size 1-u64max[u]
NO_OVERFLOW_SIMPLE 1 addr
NO_OVERFLOW_SIMPLE 2 size
NO_OVERFLOW_SIMPLE 6 userptr->addr
NO_OVERFLOW_SIMPLE 6 userptr->size
UNITS 0 hdev unit_byte
UNITS 1 addr unit_byte
UNITS 2 size unit_byte
UNITS 3 npages unit_page