Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/page_alloc.c percpu_pagelist_high_fraction_sysctl_handler() -> zone_set_pageset_high_and_batch()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->present_pages 1
PARAM_VALUE 1 cpu_online 0
BUF_SIZE 0 zone (-1)-0,81920
BUF_SIZE 0 zone (-1)-0,81920
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pcp_batch_high_lock
HALF_LOCKED2 &pool->lock

mm/page_alloc.c setup_zone_pageset() -> zone_set_pageset_high_and_batch()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->per_cpu_pageset 0,4096-ptr_max
PARAM_VALUE 0 zone->per_cpu_zonestats 0,4096-ptr_max
PARAM_VALUE 0 zone->present_pages 0-1
PARAM_VALUE 1 cpu_online 0
BUF_SIZE 0 zone (-1)-0,32768,49152,81920
BUF_SIZE 0 zone (-1)-0,32768,49152,81920
BUF_SIZE 0 zone->per_cpu_pageset 384
BUF_SIZE 0 zone->per_cpu_zonestats 64
DATA_SOURCE 0 zone $0
HARD_MAX 0 zone->present_pages 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

mm/page_alloc.c zone_pcp_update() -> zone_set_pageset_high_and_batch()

Type Parameter Key Value
PARAM_VALUE 0 zone 1-u64max
PARAM_VALUE 1 cpu_online 0-1
BUF_SIZE 0 zone (-1)-0,81920
BUF_SIZE 0 zone (-1)-0,81920
DATA_SOURCE 0 zone $0
DATA_SOURCE 1 cpu_online $1
HARD_MAX 1 cpu_online 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pcp_batch_high_lock