Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/host1x/syncpt.c host1x_syncpt_alloc() -> host1x_syncpt_base_request()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->info 4096-ptr_max
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host->bases (-1)-s32max
BUF_SIZE 0 host->clk (-1),1-s32max
BUF_SIZE 0 host->dev (-1),1616
BUF_SIZE 0 host->dev->dma_parms (-1),16
BUF_SIZE 0 host->syncpt (-1)-s32max
CAPPED_DATA 0 &host->syncpt_mutex 1
DATA_SOURCE 0 host $0
STR_LEN 0 host (-1),12
STR_LEN 0 host (-1),12
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 host->info->nb_bases
NO_OVERFLOW_SIMPLE 0 host->info->nb_channels
NO_OVERFLOW_SIMPLE 0 host->info->nb_pts
UNITS 0 host unit_byte
LOCK2 0 &host->syncpt_mutex
HALF_LOCKED2 &device->clients_lock
TYPE_LOCK (struct host1x)->syncpt_mutex