Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

mm/page-writeback.c __zone_stat_mod_folio() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 1 item 7
PARAM_VALUE 2 delta 0-4294967295
DATA_SOURCE 1 item $1
DATA_SOURCE 2 delta $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &(&mapping->i_pages)->xa_lock
LOCK2 flags
HALF_LOCKED2 &folio->private->lock

mm/folio.c __update_lru_size() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 1 item 2-6
DATA_SOURCE 2 delta $3
PARAM_COMPARE 2 delta == $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/compaction.c __update_lru_size() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 1 item 2-6
DATA_SOURCE 2 delta $3
PARAM_COMPARE 2 delta == $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &lruvec->lru_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

mm/page_alloc.c __accept_page() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 1 item 11
PARAM_VALUE 2 delta (-1024)
CAPPED_DATA 0 zone->per_cpu_zonestats->stat_threshold 1
DATA_SOURCE 0 zone $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &zone->lock
TYPE_LOCK (struct zone)->lock

mm/page_alloc.c __add_to_free_list() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->free_area 4096-ptr_max
PARAM_VALUE 1 item 1
BUF_SIZE 0 zone (-1)-0,81920
BUF_SIZE 0 zone (-1)-0,81920
CAPPED_DATA 0 zone 1
DATA_SOURCE 0 zone $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &zone->lock
TYPE_LOCK (struct zone)->lock

mm/page_alloc.c __del_page_from_free_list() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->free_area 4096-ptr_max
PARAM_VALUE 1 item 1
PARAM_VALUE 2 delta (-2147483647)-s32max
BUF_SIZE 0 zone (-1)-0,81920
BUF_SIZE 0 zone (-1)-0,81920
DATA_SOURCE 0 zone $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 0 &zone->lock

mm/page_alloc.c __free_unaccepted() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->unaccepted_pages.prev 4096-ptr_max
PARAM_VALUE 0 zone->unaccepted_pages.prev->next 4096-ptr_max
PARAM_VALUE 0 zone->unaccepted_pages.prev->next->next 4096-ptr_max
PARAM_VALUE 1 item 11
PARAM_VALUE 2 delta 1024
CAPPED_DATA 0 zone->per_cpu_zonestats->stat_threshold 1
DATA_SOURCE 0 zone r page_zone
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &zone->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct zone)->lock

mm/page_alloc.c account_freepages() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 1 item 0
BUF_SIZE 0 zone (-1)-0,81920
BUF_SIZE 0 zone (-1)-0,81920
DATA_SOURCE 0 zone $0
DATA_SOURCE 2 delta $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &zone->lock

mm/page_alloc.c account_freepages() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->per_cpu_zonestats 4096-ptr_max
PARAM_VALUE 1 item 10
BUF_SIZE 0 zone (-1)-0,81920
BUF_SIZE 0 zone (-1)-0,81920
CAPPED_DATA 0 zone 1
CAPPED_DATA 0 zone->per_cpu_zonestats->stat_threshold 1
DATA_SOURCE 0 zone $0
DATA_SOURCE 2 delta $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &mf_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 0 &zone->lock

mm/page_alloc.c move_to_free_list() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->free_area 4096-ptr_max
PARAM_VALUE 1 item 1
CAPPED_DATA 0 zone 1
DATA_SOURCE 0 zone $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq
HALF_LOCKED2 0 &zone->lock

mm/vmscan.c __update_lru_size() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
DATA_SOURCE 2 delta $3
PARAM_COMPARE 2 delta == $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &lruvec->lru_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &cgroup_mutex
HALF_LOCKED2 global &objcg_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

mm/migrate.c __folio_migrate_mapping() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 1 item 7
PARAM_VALUE 2 delta (-4294967295)-0
CAPPED_DATA 0 zone->zone_pgdat 1
DATA_SOURCE 0 zone r folio_zone
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 rcu_read
HALF_LOCKED2 &((&xas)->xa)->xa_lock

mm/migrate.c __folio_migrate_mapping() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 1 item 7
PARAM_VALUE 2 delta 0-4294967295
CAPPED_DATA 0 zone->zone_pgdat 1
DATA_SOURCE 0 zone r folio_zone
DATA_SOURCE 2 delta r folio_nr_pages
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 rcu_read
HALF_LOCKED2 &((&xas)->xa)->xa_lock

mm/mlock.c __update_lru_size() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 1 item 2-6
DATA_SOURCE 2 delta $3
PARAM_COMPARE 2 delta == $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/mlock.c __zone_stat_mod_folio() -> __mod_zone_page_state()

Type Parameter Key Value
PARAM_VALUE 1 item 8
PARAM_VALUE 2 delta (-2147483647)-s32max
DATA_SOURCE 1 item $1
DATA_SOURCE 2 delta $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL