Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memory.c alloc_anon_folio() -> pte_range_none()

Type Parameter Key Value
PARAM_VALUE 0 pte 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c do_anonymous_page() -> pte_range_none()

Type Parameter Key Value
PARAM_VALUE 0 pte 4096-ptr_max
PARAM_VALUE 1 nr_pages 2-s32max
DATA_SOURCE 0 pte r pte_offset_map_lock
DATA_SOURCE 1 nr_pages r folio_nr_pages
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c finish_fault() -> pte_range_none()

Type Parameter Key Value
PARAM_VALUE 0 pte 4096-ptr_max
PARAM_VALUE 1 nr_pages 2-s32max
DATA_SOURCE 0 pte r pte_offset_map_lock
DATA_SOURCE 1 nr_pages r folio_nr_pages
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pte 4096-ptr_max[u]
UNITS 1 nr_pages unit_page
LOCK2 vmf->ptl