Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gvt/cmd_parser.c intel_gvt_scan_and_shadow_wa_ctx() -> combine_wa_ctx()

Type Parameter Key Value
PARAM_VALUE 0 wa_ctx 4096-ptr_max
PARAM_VALUE 0 wa_ctx->indirect_ctx.obj 4096-ptr_max
PARAM_VALUE 0 wa_ctx->indirect_ctx.obj->base.resv 4096-ptr_max
PARAM_VALUE 0 wa_ctx->indirect_ctx.obj->mm.mapping 18379471554275704832-18379471556423188479,18446612682070032384-18446612684217516031
PARAM_VALUE 0 wa_ctx->indirect_ctx.obj->obj_link.next 4096-ptr_max
PARAM_VALUE 0 wa_ctx->indirect_ctx.obj->ops 4096-ptr_max
PARAM_VALUE 0 wa_ctx->indirect_ctx.shadow_va 4096-ptr_max
PARAM_VALUE 0 wa_ctx->indirect_ctx.size 1-u32max
CAPPED_DATA 0 wa_ctx->indirect_ctx.guest_gma 1
DATA_SOURCE 0 wa_ctx $0
NOSPEC 0 wa_ctx->indirect_ctx.guest_gma
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 wa_ctx->indirect_ctx.guest_gma 0,64-u32max[c]
USER_DATA 0 wa_ctx->indirect_ctx.size 1-4032[c]
USER_DATA 0 wa_ctx->per_ctx.guest_gma 0,4096-u32max[c]
USER_DATA 0 wa_ctx->per_ctx.valid 0-1[c]
HALF_LOCKED2 &vgpu->vgpu_lock