Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/xe/xe_bo.c xe_bo_shrink() -> update_global_total_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &bch_register_lock |
drivers/gpu/drm/xe/xe_bo.c xe_bo_shrink_purge() -> update_global_total_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &bch_register_lock |
drivers/gpu/drm/xe/xe_bo.c xe_ttm_tt_populate() -> update_global_total_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ttm_dev | 4096-ptr_max |
| DATA_SOURCE | 0 | ttm_dev | $0 |
| NOSPEC | 1 | num_pages | |
| NOSPEC | 1 | num_pages | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | num_pages | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | num_pages |
drivers/gpu/drm/xe/xe_bo.c xe_ttm_tt_unpopulate() -> update_global_total_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ttm_dev | 4096-ptr_max |
| CAPPED_DATA | 0 | ttm_dev->pool.dev->cma_area->nranges | 1 |
| DATA_SOURCE | 0 | ttm_dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | num_pages | (-4294967295)-0 |
| NO_OVERFLOW_SIMPLE | 0 | ttm_dev->pool.dev->cma_area->available_count |