Defined in 7 files as a prototype:
- arch/arm64/include/asm/hugetlb.h, line 38 (as a prototype)
- arch/parisc/include/asm/hugetlb.h, line 8 (as a prototype)
- arch/powerpc/include/asm/hugetlb.h, line 43 (as a prototype)
- arch/powerpc/include/asm/nohash/32/hugetlb-8xx.h, line 19 (as a prototype)
- arch/riscv/include/asm/hugetlb.h, line 25 (as a prototype)
- arch/s390/include/asm/hugetlb.h, line 21 (as a prototype)
- arch/sparc/include/asm/hugetlb.h, line 16 (as a prototype)
Defined in 8 files as a function:
- arch/arm64/mm/hugetlbpage.c, line 215 (as a function)
- arch/parisc/mm/hugetlbpage.c, line 121 (as a function)
- arch/powerpc/mm/pgtable.c, line 335 (as a function)
- arch/powerpc/mm/pgtable.c, line 353 (as a function)
- arch/riscv/mm/hugetlbpage.c, line 246 (as a function)
- arch/s390/mm/hugetlbpage.c, line 158 (as a function)
- arch/sparc/mm/hugetlbpage.c, line 276 (as a function)
- include/asm-generic/hugetlb.h, line 70 (as a function)
Referenced in 11 files:
- arch/arm64/mm/hugetlbpage.c, line 538
- arch/powerpc/mm/book3s64/hugetlbpage.c, line 163
- arch/powerpc/mm/book3s64/radix_hugetlbpage.c, line 62
- arch/powerpc/mm/nohash/8xx.c, line 90
- fs/proc/task_mmu.c
- include/linux/hugetlb.h
- mm/damon/vaddr.c, line 309
- mm/hugetlb.c
- mm/migrate.c, line 438
- mm/rmap.c
- mm/vmalloc.c, line 130
Smatch caller information:
mm/damon/vaddr.c damon_hugetlb_mkold() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| BUF_SIZE | 0 | mm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | mm | s32min-(-1),1-s32max |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 0 | mm | $1 |
| DATA_SOURCE | 1 | addr | $3 |
| DATA_SOURCE | 2 | ptep | $0 |
| DATA_SOURCE | 3 | pte | r pte_mkold |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| UNITS | 0 | mm | unit_byte |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &mapping->i_mmap_rwsem |
fs/proc/task_mmu.c huge_ptep_modify_prot_commit() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | ptep | $2 |
| DATA_SOURCE | 3 | pte | $4 |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| UNITS | 0 | mm | unit_byte |
| LOCK2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem |
fs/proc/task_mmu.c make_uffd_wp_huge_pte() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | ptep | $2 |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| UNITS | 0 | mm | unit_byte |
| LOCK2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem |
fs/proc/task_mmu.c make_uffd_wp_huge_pte() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | ptep | $2 |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| UNITS | 0 | mm | unit_byte |
| LOCK2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem |
mm/rmap.c try_to_migrate_one() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| DATA_SOURCE | 3 | pte | r swp_entry_to_pte |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| HALF_LOCKED2 | &anon_vma->root->rwsem | ||
| HALF_LOCKED2 | &folio->private->lock | ||
| HALF_LOCKED2 | &resv_map->rw_sema | ||
| HALF_LOCKED2 | &vma->vm_private_data->rw_sema |
mm/rmap.c try_to_migrate_one() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| HALF_LOCKED2 | &anon_vma->root->rwsem | ||
| HALF_LOCKED2 | &folio->private->lock | ||
| HALF_LOCKED2 | &resv_map->rw_sema | ||
| HALF_LOCKED2 | &vma->vm_private_data->rw_sema |
mm/rmap.c try_to_migrate_one() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| HALF_LOCKED2 | &anon_vma->root->rwsem | ||
| HALF_LOCKED2 | &folio->private->lock | ||
| HALF_LOCKED2 | &resv_map->rw_sema | ||
| HALF_LOCKED2 | &vma->vm_private_data->rw_sema |
mm/rmap.c try_to_unmap_poisoned_hugetlb_one() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| DATA_SOURCE | 1 | addr | $2 [m] |
| DATA_SOURCE | 3 | pte | r swp_entry_to_pte |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| HALF_LOCKED2 | &anon_vma->root->rwsem | ||
| HALF_LOCKED2 | &folio->private->lock | ||
| HALF_LOCKED2 | &resv_map->rw_sema | ||
| HALF_LOCKED2 | &vma->vm_private_data->rw_sema |
mm/hugetlb.c __unmap_hugepage_range() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| BUF_SIZE | 0 | mm | (-1),1-s32max |
| BUF_SIZE | 0 | mm | (-1),1-s32max |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 2 | ptep | r hugetlb_walk |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614 |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| HALF_LOCKED2 | &mapping->i_mmap_rwsem |
mm/hugetlb.c __unmap_hugepage_range() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| BUF_SIZE | 0 | mm | (-1),1-s32max |
| BUF_SIZE | 0 | mm | (-1),1-s32max |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 2 | ptep | r hugetlb_walk |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614 |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| HALF_LOCKED2 | &mapping->i_mmap_rwsem |
mm/hugetlb.c copy_hugetlb_page_range() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.execute_only_pkey | (-1) |
| PARAM_VALUE | 0 | mm->context.ldt | 0 |
| PARAM_VALUE | 0 | mm->context.ldt_usr_sem.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->context.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->context.pkey_allocation_map | 1 |
| PARAM_VALUE | 0 | mm->context.tlb_gen.counter | 0 |
| PARAM_VALUE | 0 | mm->context.untag_mask | u64max |
| PARAM_VALUE | 0 | mm->def_flags | 0,1073741824 |
| PARAM_VALUE | 0 | mm->exe_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mm->ioctx_table | 0 |
| PARAM_VALUE | 0 | mm->iommu_mm | 0 |
| PARAM_VALUE | 0 | mm->locked_vm | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.bitmap | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.memcg | 0 |
| PARAM_VALUE | 0 | mm->map_count | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_cid.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->mm_cid.max_cids | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mode | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu_thrs | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.update_deferred | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.users | 0 |
| PARAM_VALUE | 0 | mm->mm_count.counter | 1 |
| PARAM_VALUE | 0 | mm->mm_id | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_mt.ma_flags | 771 |
| PARAM_VALUE | 0 | mm->mm_mt.ma_root | 0 |
| PARAM_VALUE | 0 | mm->mm_users.counter | 1 |
| PARAM_VALUE | 0 | mm->mmap_lock.count.counter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | mm->mmap_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->notifier_subscriptions | 0 |
| PARAM_VALUE | 0 | mm->owner | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mm->pgd | 18446612682070032384 |
| PARAM_VALUE | 0 | mm->pinned_vm.counter | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.footprint | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->sc_stat.nr_running_avg | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.pcpu_sched | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->tlb_flush_pending.counter | 0 |
| PARAM_VALUE | 0 | mm->uprobes_state.xol_area | 0 |
| PARAM_VALUE | 0 | mm->vma_writer_wait.task | 0 |
| PARAM_VALUE | 0 | mm->write_protect_seq.sequence | 0 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| PARAM_VALUE | 4 | sz | 2097152,1073741824 |
| CAPPED_DATA | 0 | mm->mm_id | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 0 | mm | $0 |
| DATA_SOURCE | 2 | ptep | r huge_pte_alloc |
| DATA_SOURCE | 3 | pte | r huge_ptep_get |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| TERMINATED | 0 | mm->mm_lock_seq.dep_map.name | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/hugetlb.c copy_hugetlb_page_range() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| PARAM_VALUE | 4 | sz | 2097152,1073741824 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 0 | mm | $1 |
| DATA_SOURCE | 2 | ptep | r hugetlb_walk |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/hugetlb.c copy_hugetlb_page_range() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.execute_only_pkey | (-1) |
| PARAM_VALUE | 0 | mm->context.ldt | 0 |
| PARAM_VALUE | 0 | mm->context.ldt_usr_sem.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->context.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->context.pkey_allocation_map | 1 |
| PARAM_VALUE | 0 | mm->context.tlb_gen.counter | 0 |
| PARAM_VALUE | 0 | mm->context.untag_mask | u64max |
| PARAM_VALUE | 0 | mm->def_flags | 0,1073741824 |
| PARAM_VALUE | 0 | mm->exe_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mm->ioctx_table | 0 |
| PARAM_VALUE | 0 | mm->iommu_mm | 0 |
| PARAM_VALUE | 0 | mm->locked_vm | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.bitmap | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.memcg | 0 |
| PARAM_VALUE | 0 | mm->map_count | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_cid.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->mm_cid.max_cids | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mode | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu_thrs | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.update_deferred | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.users | 0 |
| PARAM_VALUE | 0 | mm->mm_count.counter | 1 |
| PARAM_VALUE | 0 | mm->mm_id | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_mt.ma_flags | 771 |
| PARAM_VALUE | 0 | mm->mm_mt.ma_root | 0 |
| PARAM_VALUE | 0 | mm->mm_users.counter | 1 |
| PARAM_VALUE | 0 | mm->mmap_lock.count.counter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | mm->mmap_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->notifier_subscriptions | 0 |
| PARAM_VALUE | 0 | mm->owner | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mm->pgd | 18446612682070032384 |
| PARAM_VALUE | 0 | mm->pinned_vm.counter | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.footprint | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->sc_stat.nr_running_avg | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.pcpu_sched | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->tlb_flush_pending.counter | 0 |
| PARAM_VALUE | 0 | mm->uprobes_state.xol_area | 0 |
| PARAM_VALUE | 0 | mm->vma_writer_wait.task | 0 |
| PARAM_VALUE | 0 | mm->write_protect_seq.sequence | 0 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| PARAM_VALUE | 4 | sz | 2097152,1073741824 |
| CAPPED_DATA | 0 | mm->mm_id | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 0 | mm | $0 |
| DATA_SOURCE | 2 | ptep | r huge_pte_alloc |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| TERMINATED | 0 | mm->mm_lock_seq.dep_map.name | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/hugetlb.c copy_hugetlb_page_range() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.execute_only_pkey | (-1) |
| PARAM_VALUE | 0 | mm->context.ldt | 0 |
| PARAM_VALUE | 0 | mm->context.ldt_usr_sem.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->context.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->context.pkey_allocation_map | 1 |
| PARAM_VALUE | 0 | mm->context.tlb_gen.counter | 0 |
| PARAM_VALUE | 0 | mm->context.untag_mask | u64max |
| PARAM_VALUE | 0 | mm->def_flags | 0,1073741824 |
| PARAM_VALUE | 0 | mm->exe_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mm->ioctx_table | 0 |
| PARAM_VALUE | 0 | mm->iommu_mm | 0 |
| PARAM_VALUE | 0 | mm->locked_vm | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.bitmap | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.memcg | 0 |
| PARAM_VALUE | 0 | mm->map_count | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_cid.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->mm_cid.max_cids | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mode | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu_thrs | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.update_deferred | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.users | 0 |
| PARAM_VALUE | 0 | mm->mm_count.counter | 1 |
| PARAM_VALUE | 0 | mm->mm_id | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_mt.ma_flags | 771 |
| PARAM_VALUE | 0 | mm->mm_mt.ma_root | 0 |
| PARAM_VALUE | 0 | mm->mm_users.counter | 1 |
| PARAM_VALUE | 0 | mm->mmap_lock.count.counter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | mm->mmap_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->notifier_subscriptions | 0 |
| PARAM_VALUE | 0 | mm->owner | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mm->pgd | 18446612682070032384 |
| PARAM_VALUE | 0 | mm->pinned_vm.counter | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.footprint | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->sc_stat.nr_running_avg | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.pcpu_sched | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->tlb_flush_pending.counter | 0 |
| PARAM_VALUE | 0 | mm->uprobes_state.xol_area | 0 |
| PARAM_VALUE | 0 | mm->vma_writer_wait.task | 0 |
| PARAM_VALUE | 0 | mm->write_protect_seq.sequence | 0 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| PARAM_VALUE | 4 | sz | 2097152,1073741824 |
| CAPPED_DATA | 0 | mm->mm_id | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 0 | mm | $0 |
| DATA_SOURCE | 2 | ptep | r huge_pte_alloc |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| TERMINATED | 0 | mm->mm_lock_seq.dep_map.name | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/hugetlb.c copy_hugetlb_page_range() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.execute_only_pkey | (-1) |
| PARAM_VALUE | 0 | mm->context.ldt | 0 |
| PARAM_VALUE | 0 | mm->context.ldt_usr_sem.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->context.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->context.pkey_allocation_map | 1 |
| PARAM_VALUE | 0 | mm->context.tlb_gen.counter | 0 |
| PARAM_VALUE | 0 | mm->context.untag_mask | u64max |
| PARAM_VALUE | 0 | mm->def_flags | 0,1073741824 |
| PARAM_VALUE | 0 | mm->exe_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mm->ioctx_table | 0 |
| PARAM_VALUE | 0 | mm->iommu_mm | 0 |
| PARAM_VALUE | 0 | mm->locked_vm | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.bitmap | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.memcg | 0 |
| PARAM_VALUE | 0 | mm->map_count | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_cid.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->mm_cid.max_cids | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mode | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu_thrs | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.update_deferred | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.users | 0 |
| PARAM_VALUE | 0 | mm->mm_count.counter | 1 |
| PARAM_VALUE | 0 | mm->mm_id | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_mt.ma_flags | 771 |
| PARAM_VALUE | 0 | mm->mm_mt.ma_root | 0 |
| PARAM_VALUE | 0 | mm->mm_users.counter | 1 |
| PARAM_VALUE | 0 | mm->mmap_lock.count.counter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | mm->mmap_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->notifier_subscriptions | 0 |
| PARAM_VALUE | 0 | mm->owner | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mm->pgd | 18446612682070032384 |
| PARAM_VALUE | 0 | mm->pinned_vm.counter | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.footprint | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->sc_stat.nr_running_avg | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.pcpu_sched | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->tlb_flush_pending.counter | 0 |
| PARAM_VALUE | 0 | mm->uprobes_state.xol_area | 0 |
| PARAM_VALUE | 0 | mm->vma_writer_wait.task | 0 |
| PARAM_VALUE | 0 | mm->write_protect_seq.sequence | 0 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| PARAM_VALUE | 4 | sz | 2097152,1073741824 |
| CAPPED_DATA | 0 | mm->mm_id | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 0 | mm | $0 |
| DATA_SOURCE | 2 | ptep | r huge_pte_alloc |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| TERMINATED | 0 | mm->mm_lock_seq.dep_map.name | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/hugetlb.c huge_ptep_modify_prot_commit() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->iommu_mm->pasid | 0-4294967295 |
| PARAM_VALUE | 0 | mm->notifier_subscriptions->has_itree | 0-1 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | ptep | $2 |
| DATA_SOURCE | 3 | pte | $4 |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 1 | addr | |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &dst_mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem |
mm/hugetlb.c hugetlb_change_protection() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $1 [m] |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614 |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &dst_mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem |
mm/hugetlb.c hugetlb_change_protection() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $1 [m] |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614 |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &dst_mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem |
mm/hugetlb.c hugetlb_fault() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | mm->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mm->vma_writer_wait.task->sched_class->uclamp_enabled | 0-1 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 0 | mm | $0 |
| DATA_SOURCE | 2 | ptep | r huge_pte_alloc |
| DATA_SOURCE | 3 | pte | r pte_mkyoung |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/hugetlb.c hugetlb_fault() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | mm->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mm->vma_writer_wait.task->sched_class->uclamp_enabled | 0-1 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 0 | mm | $0 |
| DATA_SOURCE | 2 | ptep | r huge_pte_alloc |
| DATA_SOURCE | 3 | pte | r huge_pte_clear_uffd |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/hugetlb.c hugetlb_install_folio() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.ldt | 0 |
| PARAM_VALUE | 0 | mm->context.ldt_usr_sem.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->context.tlb_gen.counter | 0 |
| PARAM_VALUE | 0 | mm->context.untag_mask | u64max |
| PARAM_VALUE | 0 | mm->def_flags | 0,1073741824 |
| PARAM_VALUE | 0 | mm->exe_file | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mm->ioctx_table | 0 |
| PARAM_VALUE | 0 | mm->iommu_mm | 0 |
| PARAM_VALUE | 0 | mm->iommu_mm->pasid | 0-4294967295 |
| PARAM_VALUE | 0 | mm->locked_vm | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.bitmap | 0 |
| PARAM_VALUE | 0 | mm->lru_gen.memcg | 0 |
| PARAM_VALUE | 0 | mm->map_count | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_cid.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->mm_cid.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->mm_cid.max_cids | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mode | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mm_cid.pcpu_thrs | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.update_deferred | 0 |
| PARAM_VALUE | 0 | mm->mm_cid.users | 0 |
| PARAM_VALUE | 0 | mm->mm_count.counter | 1 |
| PARAM_VALUE | 0 | mm->mm_id | 0-s32max |
| PARAM_VALUE | 0 | mm->mm_mt.ma_flags | 771 |
| PARAM_VALUE | 0 | mm->mm_mt.ma_root | 0 |
| PARAM_VALUE | 0 | mm->mm_users.counter | 1 |
| PARAM_VALUE | 0 | mm->mmap_lock.count.counter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | mm->mmap_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | mm->mmap_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | mm->notifier_subscriptions | 0 |
| PARAM_VALUE | 0 | mm->owner | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->pgd | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | mm->pinned_vm.counter | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.footprint | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner | (-1) |
| PARAM_VALUE | 0 | mm->sc_stat.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | mm->sc_stat.nr_running_avg | 0 |
| PARAM_VALUE | 0 | mm->sc_stat.pcpu_sched | 4096-ptr_max |
| PARAM_VALUE | 0 | mm->uprobes_state.xol_area | 0 |
| PARAM_VALUE | 0 | mm->vma_writer_wait.task | 0 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| PARAM_VALUE | 4 | sz | 2097152,1073741824 |
| CAPPED_DATA | 0 | mm->mm_id | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $2 |
| DATA_SOURCE | 2 | ptep | $1 |
| DATA_SOURCE | 4 | sz | $5 |
| TERMINATED | 0 | mm->mm_lock_seq.dep_map.name | 1 |
| TERMINATED | 0 | mm->write_protect_seq.dep_map.name | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/hugetlb.c hugetlb_mfill_atomic_pte() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $2 |
| DATA_SOURCE | 2 | ptep | $0 |
| DATA_SOURCE | 3 | pte | r make_pte_marker |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 1 | addr | |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &state.ctx->map_changing_lock | ||
| HALF_LOCKED2 | &ctx->map_changing_lock | ||
| TYPE_LOCK | (struct userfaultfd_ctx)->map_changing_lock |
mm/hugetlb.c hugetlb_mfill_atomic_pte() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $2 |
| DATA_SOURCE | 2 | ptep | $0 |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 1 | addr | |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &state.ctx->map_changing_lock | ||
| HALF_LOCKED2 | &ctx->map_changing_lock | ||
| TYPE_LOCK | (struct userfaultfd_ctx)->map_changing_lock |
mm/hugetlb.c hugetlb_no_page() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 2 | ptep | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &pool->lock |
mm/hugetlb.c hugetlb_wp() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| DATA_SOURCE | 2 | ptep | r hugetlb_walk |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | vmf->ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &pool->lock |
mm/hugetlb.c move_huge_pte() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 4096-ptr_max |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| PARAM_VALUE | 4 | sz | 2097152,1073741824 |
| CAPPED_DATA | 2 | ptep | 1 |
| DATA_SOURCE | 1 | addr | $2 |
| DATA_SOURCE | 2 | ptep | $4 |
| DATA_SOURCE | 4 | sz | $5 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| USER_DATA | 1 | addr | 0-u64max |
| UNITS | 0 | mm | unit_byte |
| UNITS | 1 | addr | unit_byte |
| LOCK2 | &mapping->i_mmap_rwsem | ||
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock | ||
| HALF_LOCKED2 | src_ptl | ||
| TYPE_LOCK | (struct address_space)->i_mmap_rwsem | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/vmalloc.c vmap_pte_range() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mm | 7138969414219841536 |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| DATA_SOURCE | 1 | addr | $1 [m] |
| DATA_SOURCE | 3 | pte | r arch_make_huge_pte |
| DATA_SOURCE | 4 | sz | r arch_vmap_pte_range_map_size |
| BIT_INFO | 4 | sz | 0x1000,0x1000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | addr | unit_byte |
| UNITS | 4 | sz | unit_byte |
mm/migrate.c remove_migration_pte() -> set_huge_pte_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| DATA_SOURCE | 3 | pte | r arch_make_huge_pte |
| DATA_SOURCE | 4 | sz | r huge_page_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | mm | unit_byte |
| HALF_LOCKED2 | &anon_vma->root->rwsem | ||
| HALF_LOCKED2 | &folio->private->lock |