Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/power/snapshot.c clear_or_poison_free_pages() -> memory_bm_position_reset()

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

kernel/power/snapshot.c clear_or_poison_free_pages() -> memory_bm_position_reset()

Type Parameter Key Value
PARAM_VALUE 0 bm 4096-ptr_max
PARAM_VALUE 0 bm->cur.node 4096-ptr_max
PARAM_VALUE 0 bm->cur.node_bit 0-65
PARAM_VALUE 0 bm->cur.node_pfn 0
PARAM_VALUE 0 bm->cur.zone 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
LOCK2 irq

kernel/power/snapshot.c copy_data_pages() -> memory_bm_position_reset()

Type Parameter Key Value
PARAM_VALUE 0 bm 5169136617764929536
DATA_SOURCE 0 bm $1
NOCHECK_CALL

kernel/power/snapshot.c copy_data_pages() -> memory_bm_position_reset()

Type Parameter Key Value
PARAM_VALUE 0 bm 3906572357807849472
PARAM_VALUE 0 bm->cur.cur_pfn 0-12384898975264768,9223396226110586880-u64max
PARAM_VALUE 0 bm->cur.node 4096-ptr_max
PARAM_VALUE 0 bm->cur.node_pfn 0,32768-u64max
PARAM_VALUE 0 bm->cur.zone 4096-ptr_max
DATA_SOURCE 0 bm $0
NOCHECK_CALL

kernel/power/snapshot.c duplicate_memory_bitmap() -> memory_bm_position_reset()

Type Parameter Key Value
PARAM_VALUE 0 bm 3906572357807849472,5269069334722150400,8199995805600677888
PARAM_VALUE 0 bm->cur.node_bit 0-65
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 free_unnecessary_pages() -> memory_bm_position_reset()

Type Parameter Key Value
PARAM_VALUE 0 bm 3906572357807849472
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex

kernel/power/snapshot.c mark_unsafe_pages() -> memory_bm_position_reset()

Type Parameter Key Value
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_position_reset()

Type Parameter Key Value
PARAM_VALUE 0 bm 4096-ptr_max
PARAM_VALUE 0 bm->zones.next 4096-ptr_max
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 snapshot_read_next() -> memory_bm_position_reset()

Type Parameter Key Value
PARAM_VALUE 0 bm 5169136617764929536
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

kernel/power/snapshot.c snapshot_read_next() -> memory_bm_position_reset()

Type Parameter Key Value
PARAM_VALUE 0 bm 3906572357807849472
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_position_reset()

Type Parameter Key Value
PARAM_VALUE 0 bm 5169136617764929536
PARAM_VALUE 0 bm->cur.node 4096-ptr_max
PARAM_VALUE 0 bm->cur.node_bit 0
PARAM_VALUE 0 bm->cur.node_pfn 0,32768-u64max
PARAM_VALUE 0 bm->cur.zone 4096-ptr_max
PARAM_VALUE 0 bm->zones.next 4096-ptr_max
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_position_reset()

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
PARAM_VALUE 0 bm->cur.node_pfn 0,32768-u64max
PARAM_VALUE 0 bm->cur.zone 4096-ptr_max
PARAM_VALUE 0 bm->zones.next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock

kernel/power/snapshot.c swsusp_free() -> memory_bm_position_reset()

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

kernel/power/snapshot.c swsusp_free() -> memory_bm_position_reset()

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