Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/page-writeback.c domain_dirty_avail() -> dtc_is_global()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dtc | 1008236869821968384,1537073996624695296,4151874527223214080,4743851347315638272,6287496805616087040,8246041244423487488,8293485361565032448 |
| PARAM_VALUE | 0 | dtc->gdtc | 0,1008236869821968384,8246041244423487488,8293485361565032448 |
| BUF_SIZE | 0 | dtc | (-1),112 |
| BUF_SIZE | 0 | dtc | (-1),112 |
| CAPPED_DATA | 0 | dtc->dirty | 1 |
| CAPPED_DATA | 0 | dtc->thresh | 1 |
| DATA_SOURCE | 0 | dtc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | rcu_read |