Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/power/snapshot.c create_basic_memory_bitmaps() -> memory_bm_free()

Type Parameter Key Value
PARAM_VALUE 0 bm 4096-ptr_max
PARAM_VALUE 0 bm->cur.cur_pfn u64max
PARAM_VALUE 0 bm->cur.node_bit 0
PARAM_VALUE 0 bm->cur.node_pfn 0
PARAM_VALUE 0 bm->cur.zone 4096-ptr_max
PARAM_VALUE 0 bm->p_list 0,4096-ptr_max
PARAM_VALUE 0 bm->p_list->next 0,4096-ptr_max
PARAM_VALUE 0 bm->zones.next 4096-ptr_max
PARAM_VALUE 0 bm->zones.next->next 4096-ptr_max
PARAM_VALUE 0 bm->zones.prev 4096-ptr_max
PARAM_VALUE 0 bm->zones.prev->next 4096-ptr_max
PARAM_VALUE 0 bm->zones.prev->prev 4096-ptr_max
PARAM_VALUE 1 clear_nosave_free 1
BUF_SIZE 0 bm 64
DATA_SOURCE 0 bm r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

kernel/power/snapshot.c free_basic_memory_bitmaps() -> memory_bm_free()

Type Parameter Key Value
PARAM_VALUE 0 bm 4096-ptr_max
PARAM_VALUE 1 clear_nosave_free 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

kernel/power/snapshot.c free_basic_memory_bitmaps() -> memory_bm_free()

Type Parameter Key Value
PARAM_VALUE 0 bm 4096-ptr_max
PARAM_VALUE 1 clear_nosave_free 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

kernel/power/snapshot.c memory_bm_create() -> memory_bm_free()

Type Parameter Key Value
PARAM_VALUE 0 bm 4096-ptr_max
PARAM_VALUE 0 bm->p_list 0,4096-ptr_max
PARAM_VALUE 0 bm->p_list->next 0,4096-ptr_max
PARAM_VALUE 0 bm->zones.next 4096-ptr_max
PARAM_VALUE 0 bm->zones.next->next 4096-ptr_max
PARAM_VALUE 0 bm->zones.prev 4096-ptr_max
PARAM_VALUE 0 bm->zones.prev->next 4096-ptr_max
PARAM_VALUE 0 bm->zones.prev->prev 4096-ptr_max
PARAM_VALUE 1 clear_nosave_free 1
BUF_SIZE 0 bm (-1),64
BUF_SIZE 0 bm (-1),64
DATA_SOURCE 0 bm $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

kernel/power/snapshot.c prepare_image() -> memory_bm_free()

Type Parameter Key Value
PARAM_VALUE 0 bm 3906572357807849472
PARAM_VALUE 0 bm->cur.node_bit 0-65
PARAM_VALUE 0 bm->cur.zone 4096-ptr_max
PARAM_VALUE 0 bm->p_list 0,4096-ptr_max
PARAM_VALUE 1 clear_nosave_free 0
DATA_SOURCE 0 bm $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

kernel/power/snapshot.c prepare_image() -> memory_bm_free()

Type Parameter Key Value
PARAM_VALUE 0 bm 5269069334722150400
PARAM_VALUE 0 bm->cur.node 4096-ptr_max
PARAM_VALUE 0 bm->cur.node_bit 0-65
PARAM_VALUE 0 bm->cur.zone 4096-ptr_max
PARAM_VALUE 0 bm->p_list 0,4096-ptr_max
PARAM_VALUE 1 clear_nosave_free 0
DATA_SOURCE 0 bm $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

kernel/power/snapshot.c prepare_image() -> memory_bm_free()

Type Parameter Key Value
PARAM_VALUE 0 bm 8199995805600677888
PARAM_VALUE 0 bm->cur.node_bit 0-65
PARAM_VALUE 0 bm->cur.zone 4096-ptr_max
PARAM_VALUE 0 bm->p_list 0,4096-ptr_max
PARAM_VALUE 0 bm->zones.next 4096-ptr_max
PARAM_VALUE 0 bm->zones.prev 4096-ptr_max
PARAM_VALUE 1 clear_nosave_free 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

kernel/power/snapshot.c snapshot_write_next() -> memory_bm_free()

Type Parameter Key Value
PARAM_VALUE 0 bm 3906572357807849472
PARAM_VALUE 0 bm->cur.cur_pfn u64max
PARAM_VALUE 0 bm->cur.zone 4096-ptr_max
PARAM_VALUE 0 bm->p_list 0,4096-ptr_max
PARAM_VALUE 0 bm->zones.next 4096-ptr_max
PARAM_VALUE 0 bm->zones.prev 4096-ptr_max
PARAM_VALUE 1 clear_nosave_free 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock