Defined in 1 files as a prototype:
Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 13 files:
- arch/powerpc/platforms/pseries/cmm.c, line 543
- drivers/hv/hv_balloon.c
- drivers/virtio/virtio_balloon.c, line 967
- drivers/virtio/virtio_mem.c
- drivers/xen/balloon.c, line 451
- include/linux/balloon.h, line 75
- include/linux/mm.h, line 4088
- kernel/liveupdate/kexec_handover.c, line 540
- mm/balloon.c
- mm/hugetlb.c, line 3315
- mm/memory_hotplug.c, line 2115
- mm/mm_init.c
- mm/page_alloc.c
Smatch caller information:
drivers/hv/hv_balloon.c alloc_balloon_pages() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | count | (-1) |
| NOCHECK_CALL | |||
| UNITS | 0 | page | unit_page |
| HALF_LOCKED2 | &pool->lock |
drivers/hv/hv_balloon.c free_balloon_pages() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->buddy_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | page->buddy_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | page->flags.f | 0-18446744073709551614 |
| PARAM_VALUE | 0 | page->memcg_data | 0 |
| PARAM_VALUE | 0 | page->pcp_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | page->pcp_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | count | 1 |
| CAPPED_DATA | 0 | page | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/memory_hotplug.c offline_pages() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | page | unit_page |
| LOCK2 | &dev->mutex | ||
| HALF_LOCKED2 | &device->physical_node_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &device_hotplug_lock | ||
| TYPE_LOCK | (struct device)->mutex |
mm/mm_init.c init_cma_pageblock() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page->flags.f | 0-18446744073709551614 |
| PARAM_VALUE | 1 | count | 512 |
| DATA_SOURCE | 0 | page | $0 |
| NOCHECK_CALL |
mm/mm_init.c init_cma_reserved_pageblock() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->buddy_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | page->buddy_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | page->memcg_data | 0 |
| PARAM_VALUE | 0 | page->pcp_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | page->pcp_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | count | 512 |
| CAPPED_DATA | 0 | page | 1 |
| DATA_SOURCE | 0 | page | $0 |
| NOCHECK_CALL | |||
| UNITS | 0 | page | unit_page |
mm/hugetlb.c gather_bootmem_prealloc_node() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_hugetlb_cgroup | 0 |
| PARAM_VALUE | 0 | page->_hugetlb_cgroup_rsvd | 0 |
| PARAM_VALUE | 0 | page->_hugetlb_subpool | 0 |
| PARAM_VALUE | 0 | page->lru.next | 4096-ptr_max |
| PARAM_VALUE | 0 | page->lru.prev | 258448920658673664 |
| PARAM_VALUE | 0 | page->page._entire_mapcount.counter | (-1) |
| PARAM_VALUE | 0 | page->page._large_mapcount.counter | (-1) |
| PARAM_VALUE | 0 | page->page._mm_ids | 0 |
| PARAM_VALUE | 0 | page->page._nr_pages | 512,262144 |
| PARAM_VALUE | 0 | page->page._pincount.counter | 0 |
| PARAM_VALUE | 0 | page->page._refcount.counter | 0-s32max |
| PARAM_VALUE | 0 | page->page.page_type | 4093640704 |
| PARAM_VALUE | 1 | count | 512,262144 |
| NOCHECK_CALL |
drivers/virtio/virtio_mem.c virtio_mem_fake_offline() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL | |||
| LOCK2 | &pool->lock | ||
| LOCK2 | &vm->hotplug_mutex | ||
| TYPE_LOCK | (struct virtio_mem)->hotplug_mutex |
drivers/virtio/virtio_mem.c virtio_mem_fake_online() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 1 | count | s32min-s32max |
| NOCHECK_CALL | |||
| LOCK2 | &pool->lock | ||
| LOCK2 | &vm->hotplug_mutex | ||
| TYPE_LOCK | (struct virtio_mem)->hotplug_mutex |
mm/page_alloc.c __free_pages_core() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 1 | count | 1 |
| DATA_SOURCE | 0 | page | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | page | unit_page |
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &vm->hotplug_mutex | ||
| HALF_LOCKED2 | global &dm_device.ha_lock |
mm/page_alloc.c free_reserved_pages() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | count | 1,512 |
| CAPPED_DATA | 1 | count | 1 |
| DATA_SOURCE | 0 | page | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | page | unit_page |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &balloon_mutex |
drivers/xen/balloon.c decrease_reservation() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->_refcount.counter | 1 |
| PARAM_VALUE | 1 | count | (-1) |
| DATA_SOURCE | 0 | page | r alloc_pages_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &balloon_mutex |
mm/balloon.c balloon_page_enqueue_one() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->lru.next | 4096-ptr_max |
| PARAM_VALUE | 0 | page->lru.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | page->page_type | 4043309056 |
| PARAM_VALUE | 0 | page->private | 4096-18446744073709547520 |
| PARAM_VALUE | 1 | count | (-1) |
| DATA_SOURCE | 0 | page | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | global &balloon_pages_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &vb->balloon_lock |
mm/balloon.c balloon_page_list_dequeue() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 1 | count | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | global &balloon_pages_lock | ||
| HALF_LOCKED2 | &vb->balloon_lock |
mm/balloon.c balloon_page_migrate() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->flags.f | 0-18446744073709551614 |
| PARAM_VALUE | 1 | count | 1 |
| DATA_SOURCE | 0 | page | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | global &balloon_pages_lock |
mm/balloon.c balloon_page_migrate() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->lru.next | 4096-ptr_max |
| PARAM_VALUE | 0 | page->lru.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | page->page_type | 4043309056 |
| PARAM_VALUE | 0 | page->private | 4096-18446744073709547520 |
| PARAM_VALUE | 1 | count | (-1) |
| DATA_SOURCE | 0 | page | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | global &balloon_pages_lock |
mm/balloon.c balloon_page_migrate() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 1 | count | 1 |
| DATA_SOURCE | 0 | page | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | global &balloon_pages_lock |
kernel/liveupdate/kexec_handover.c kho_restore_page() -> adjust_managed_page_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | page | 4096-ptr_max |
| PARAM_VALUE | 0 | page->private | 0 |
| PARAM_VALUE | 1 | count | s32min-s32max |
| CAPPED_DATA | 1 | count | 1 |
| DATA_SOURCE | 0 | page | r pfn_to_online_page |
| BIT_INFO | 1 | count | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &session->mutex | ||
| HALF_LOCKED2 | _T->lock |