Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
mm/compaction.c isolate_migratepages_block() -> too_many_isolated()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pgdat | 39519167169261568,627961168991526912,2805172457106239488,4129468660797198336 |
| PARAM_VALUE | 0 | pgdat->zone | 4096-ptr_max |
| CAPPED_DATA | 0 | pgdat->zone | 1 |
| DATA_SOURCE | 0 | pgdat | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/compaction.c isolate_migratepages_block() -> too_many_isolated()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pgdat | 39519167169261568,627961168991526912,2805172457106239488,4129468660797198336 |
| PARAM_VALUE | 0 | pgdat->mode | 1-u32max |
| PARAM_VALUE | 0 | pgdat->nr_migratepages | 0 |
| PARAM_VALUE | 0 | pgdat->zone | 4096-ptr_max |
| CAPPED_DATA | 0 | pgdat->zone | 1 |
| DATA_SOURCE | 0 | pgdat | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/vmscan.c shrink_inactive_list() -> too_many_isolated()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | sc | 753424453540093952,2060347960637427712,2214856972508278784,5031689830555049984,6723946459048980480,7462597757414920192,9087582786463748096 |
| PARAM_VALUE | 2 | sc->target_mem_cgroup | 0-1 |
| BUF_SIZE | 0 | pgdat | (-1),128 |
| BUF_SIZE | 0 | pgdat | (-1),128 |
| BUF_SIZE | 2 | sc->nodemask | (-1)-0,128,384 |
| BUF_SIZE | 2 | sc->proactive_swappiness | (-1)-0,4 |
| CAPPED_DATA | 2 | sc->reclaim_idx | 1 |
| DATA_SOURCE | 1 | file | r is_file_lru |
| DATA_SOURCE | 2 | sc | $2 |
| NOSPEC | 2 | sc->order | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | sc->order | 1-10[c] |
| USER_DATA | 2 | sc->order | 1-10[c] |
mm/vmscan.c shrink_inactive_list() -> too_many_isolated()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | sc | 753424453540093952,2060347960637427712,2214856972508278784,5031689830555049984,6723946459048980480,7462597757414920192,9087582786463748096 |
| PARAM_VALUE | 2 | sc->target_mem_cgroup | 0-1 |
| BUF_SIZE | 0 | pgdat | (-1),128 |
| BUF_SIZE | 0 | pgdat | (-1),128 |
| BUF_SIZE | 2 | sc->nodemask | (-1)-0,128,384 |
| BUF_SIZE | 2 | sc->proactive_swappiness | (-1)-0,4 |
| CAPPED_DATA | 2 | sc->reclaim_idx | 1 |
| DATA_SOURCE | 1 | file | r is_file_lru |
| DATA_SOURCE | 2 | sc | $2 |
| NOSPEC | 2 | sc->order | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | sc->order | 1-10[c] |
| USER_DATA | 2 | sc->order | 1-10[c] |