Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/xe/xe_pt.c xe_pt_hugepte_possible() -> xe_pt_covers()

Type Parameter Key Value
PARAM_VALUE 2 level 1-2
PARAM_VALUE 3 walk 4096-ptr_max
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 end $1
DATA_SOURCE 2 level $2
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/xe/xe_pt.c xe_pt_stage_bind_entry() -> xe_pt_covers()

Type Parameter Key Value
PARAM_VALUE 2 level 1-u32max
PARAM_VALUE 3 walk 4096-ptr_max
DATA_SOURCE 0 addr $3
DATA_SOURCE 1 end $4
DATA_SOURCE 2 level $2
FUZZY_MAX 2 level 1
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/xe/xe_pt.c xe_pt_stage_unbind_entry() -> xe_pt_covers()

Type Parameter Key Value
PARAM_VALUE 2 level 3-u32max
PARAM_VALUE 3 walk 4096-ptr_max
DATA_SOURCE 0 addr $3
DATA_SOURCE 1 end $4
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/xe/xe_pt_walk.c xe_pt_walk_range() -> xe_pt_covers()

Type Parameter Key Value
PARAM_VALUE 3 walk 4096-ptr_max
PARAM_VALUE 3 walk->shifts 4096-ptr_max
BUF_SIZE 3 walk->ops (-1),16
BUF_SIZE 3 walk->shifts (-1),40
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
DATA_SOURCE 0 addr $2 [m]
DATA_SOURCE 1 end r xe_pt_addr_end
DATA_SOURCE 2 level $1
DATA_SOURCE 3 walk $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte