Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_mob.c vmw_mob_build_pt() -> vmw_mob_assign_ppn()

Type Parameter Key Value
PARAM_VALUE 0 addr 1684985047647358976
PARAM_VALUE 0 *addr 18379471554275704832,18379471554275704840,18446612682070032384,18446612682070032392
PARAM_VALUE 0 *(*addr) 0,8
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bo->base.resv