Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mm_init.c free_area_init_node() -> lru_gen_init_pgdat()

Type Parameter Key Value
PARAM_VALUE 0 pgdat 4096-ptr_max
PARAM_VALUE 0 pgdat->__lruvec.flags 0
PARAM_VALUE 0 pgdat->__lruvec.lrugen.gen 0
PARAM_VALUE 0 pgdat->__lruvec.lrugen.list.next 0
PARAM_VALUE 0 pgdat->__lruvec.lrugen.list.pprev 0
PARAM_VALUE 0 pgdat->__lruvec.lrugen.max_seq 3
PARAM_VALUE 0 pgdat->__lruvec.lrugen.seg 0
PARAM_VALUE 0 pgdat->__lruvec.mm_state.head 0
PARAM_VALUE 0 pgdat->__lruvec.mm_state.seq 0
PARAM_VALUE 0 pgdat->__lruvec.mm_state.tail 0
PARAM_VALUE 0 pgdat->__lruvec.nonresident_age.counter 0
PARAM_VALUE 0 pgdat->__lruvec.pgdat 0
PARAM_VALUE 0 pgdat->first_deferred_pfn u64max
PARAM_VALUE 0 pgdat->kcompactd_wait.head.next 4096-ptr_max
PARAM_VALUE 0 pgdat->kcompactd_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 pgdat->kcompactd_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 pgdat->kcompactd_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 pgdat->kcompactd_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pgdat->kswapd_lock.dep_map->name 0-255
PARAM_VALUE 0 pgdat->kswapd_lock.first_waiter 0
PARAM_VALUE 0 pgdat->kswapd_lock.magic 4096-ptr_max
PARAM_VALUE 0 pgdat->kswapd_lock.osq.tail.counter 0
PARAM_VALUE 0 pgdat->kswapd_lock.owner.counter 0
PARAM_VALUE 0 pgdat->kswapd_wait.head.next 4096-ptr_max
PARAM_VALUE 0 pgdat->kswapd_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 pgdat->kswapd_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 pgdat->kswapd_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 pgdat->kswapd_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pgdat->node_id 0-64
PARAM_VALUE 0 pgdat->node_present_pages 0
PARAM_VALUE 0 pgdat->node_spanned_pages 0-4503599627370495,18442240474082181122-u64max
PARAM_VALUE 0 pgdat->node_start_pfn 0-4503599627370494
PARAM_VALUE 0 pgdat->node_zones 4096-u64max
PARAM_VALUE 0 pgdat->node_zones->present_early_pages 0
PARAM_VALUE 0 pgdat->node_zones->present_pages 0
PARAM_VALUE 0 pgdat->node_zones->spanned_pages 0
PARAM_VALUE 0 pgdat->node_zones->zone_start_pfn 0
PARAM_VALUE 0 pgdat->per_cpu_nodestats 2633578463789080576
PARAM_VALUE 0 pgdat->pfmemalloc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 pgdat->pfmemalloc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 pgdat->pfmemalloc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 pgdat->pfmemalloc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 pgdat->pfmemalloc_wait.head.prev->prev 4096-ptr_max
CAPPED_DATA 0 pgdat->node_id 1
MEM_ZERO 0 &pgdat->__lruvec
NOCHECK_CALL
LOCK2 irq