Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/vmscan.c evict_folios() -> isolate_folios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nr_to_scan | 1-4096 |
| PARAM_VALUE | 1 | lruvec | 4096-ptr_max |
| PARAM_VALUE | 1 | lruvec->lru_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | sc | 753424453540093952,2060347960637427712,2214856972508278784,4344263098391224320,5031689830555049984,6723946459048980480,7462597757414920192,9087582786463748096 |
| PARAM_VALUE | 4 | list | 2344361713683189760 |
| PARAM_VALUE | 4 | list->next | 2344361713683189760 |
| PARAM_VALUE | 4 | list->prev | 2344361713683189760 |
| PARAM_VALUE | 5 | isolated | 327862164086513664 |
| PARAM_VALUE | 5 | *isolated | 0 |
| PARAM_VALUE | 6 | isolate_type | 447166071707992064 |
| PARAM_VALUE | 7 | isolate_scanned | 6380599249937620992 |
| BUF_SIZE | 1 | lruvec | (-1),2424 |
| BUF_SIZE | 1 | lruvec | (-1),2424 |
| BUF_SIZE | 1 | lruvec->pgdat | (-1),128 |
| BUF_SIZE | 2 | sc->nodemask | (-1)-0,128,384 |
| BUF_SIZE | 2 | sc->proactive_swappiness | (-1)-0,4 |
| CAPPED_DATA | 0 | nr_to_scan | 1 |
| CAPPED_DATA | 0 | nr_to_scan | 1 |
| DATA_SOURCE | 0 | nr_to_scan | $0 |
| DATA_SOURCE | 1 | lruvec | $1 |
| DATA_SOURCE | 2 | sc | $2 |
| DATA_SOURCE | 3 | swappiness | $3 |
| NOSPEC | 2 | sc->order | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | sc->order | 1-10[c] |
| USER_DATA | 2 | sc->order | 1-10[c] |
| USER_DATA | 3 | swappiness | s32min-201 |
| UNITS | 0 | nr_to_scan | unit_page |
| LOCK2 | irq | ||
| LOCK2 | rcu_read | ||
| LOCK2 | 1 | &lruvec->lru_lock | |
| TYPE_LOCK | (struct lruvec)->lru_lock |