Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/vmscan.c scan_folios() -> sort_folio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lruvec | 4096-ptr_max |
| PARAM_VALUE | 0 | lruvec->lru_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | lruvec->lrugen.folios | 4096-ptr_max |
| PARAM_VALUE | 0 | lruvec->lrugen.min_seq | 4096-ptr_max |
| PARAM_VALUE | 1 | folio | 4096-ptr_max |
| PARAM_VALUE | 2 | sc | 753424453540093952,2060347960637427712,2214856972508278784,4344263098391224320,5031689830555049984,6723946459048980480,7462597757414920192,9087582786463748096 |
| PARAM_VALUE | 3 | tier_idx | 0-3 |
| BUF_SIZE | 0 | lruvec->pgdat | (-1),64,128,280,1024 |
| BUF_SIZE | 2 | sc->nodemask | (-1)-0,128,384 |
| BUF_SIZE | 2 | sc->proactive_swappiness | (-1)-0,4 |
| CAPPED_DATA | 2 | sc->target_mem_cgroup | 1 |
| CAPPED_DATA | 3 | tier_idx | 1 |
| DATA_SOURCE | 0 | lruvec | $1 |
| DATA_SOURCE | 1 | folio | r lru_to_folio |
| DATA_SOURCE | 2 | sc | $2 |
| DATA_SOURCE | 3 | tier_idx | $4 |
| NOSPEC | 2 | sc->order | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | sc->order | 1-10[c] |
| USER_DATA | 2 | sc->order | 1-10[c] |
| LOCK2 | irq | ||
| LOCK2 | rcu_read | ||
| LOCK2 | 0 | &lruvec->lru_lock | |
| TYPE_LOCK | (struct lruvec)->lru_lock |