Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kvm/mmu/tdp_iter.c tdp_iter_restart() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 1 level 1-5
NOSPEC 0 gfn
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 gfn 0-17179869183[c]
USER_DATA 0 gfn 0-9227875638629630013[c]
UNITS 0 gfn unit_page
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 rcu_read

arch/x86/kvm/mmu/tdp_iter.c try_step_down() -> gfn_round_for_level()

Type Parameter Key Value
NOSPEC 0 gfn
NOSPEC 0 gfn
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 gfn 0-17179869183[c]
USER_DATA 0 gfn 0-9227875638629630013[c]
UNITS 0 gfn unit_page
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 rcu_read

arch/x86/kvm/mmu/tdp_iter.c try_step_up() -> gfn_round_for_level()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gfn 0-9227875638629630013[c]
UNITS 0 gfn unit_page
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 rcu_read

arch/x86/kvm/mmu/mmu.c direct_map() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-4503599627370495
PARAM_VALUE 1 level 1-s32max
CAPPED_DATA 0 gfn 1
CAPPED_DATA 0 gfn 1
NOSPEC 0 gfn
NOSPEC 0 gfn
PREEMPT_ADD
USER_DATA 0 gfn 0-4503599627370495[c]
UNITS 0 gfn unit_page
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c ept_fetch() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-4503599627370495
PARAM_VALUE 1 level 1-s32max
CAPPED_DATA 0 gfn 1
CAPPED_DATA 0 gfn 1
NOSPEC 0 gfn
NOSPEC 0 gfn
USER_DATA 0 gfn 0-1099511627775[c]
UNITS 0 gfn unit_page
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c kvm_arch_post_set_memory_attributes() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 1 level 2-3
FUZZY_MAX 1 level 3
HARD_MAX 1 level 3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gfn 1-524287[c]
UNITS 0 gfn unit_page
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 global &srcu

arch/x86/kvm/mmu/mmu.c kvm_arch_pre_set_memory_attributes() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-18446744073709551614
PARAM_VALUE 1 level 2-3
CAPPED_DATA 0 gfn 1
CAPPED_DATA 0 gfn 1
FUZZY_MAX 1 level 3
HARD_MAX 1 level 3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gfn 1-524287[c]
UNITS 0 gfn unit_page
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 global &srcu

arch/x86/kvm/mmu/mmu.c kvm_arch_pre_set_memory_attributes() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 1 level 2-3
CAPPED_DATA 0 gfn 1
FUZZY_MAX 1 level 3
HARD_MAX 1 level 3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 gfn unit_page
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 global &srcu

arch/x86/kvm/mmu/mmu.c kvm_flush_remote_tlbs_gfn() -> gfn_round_for_level()

Type Parameter Key Value
DATA_SOURCE 0 gfn $1
DATA_SOURCE 1 level $2
NOSPEC 0 gfn
NOSPEC 0 gfn
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gfn 0-4503599627370495[c]
UNITS 0 gfn unit_page
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/mmu/mmu.c kvm_mmu_init_memslot_memory_attributes() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-9007199254740990
PARAM_VALUE 1 level 2-3
FUZZY_MAX 1 level 3
HARD_MAX 1 level 3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gfn 0-4503599627894782[c]
UNITS 0 gfn unit_page
LOCK2 &kvm->slots_arch_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct kvm)->slots_arch_lock

arch/x86/kvm/mmu/mmu.c kvm_mmu_init_memslot_memory_attributes() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-4503599627370495
PARAM_VALUE 1 level 2-3
CAPPED_DATA 0 gfn 1
CAPPED_DATA 0 gfn 1
FUZZY_MAX 1 level 3
NOSPEC 0 gfn
NOSPEC 0 gfn
HARD_MAX 1 level 3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 gfn 0-524287[c]
UNITS 0 gfn unit_page
LOCK2 &kvm->slots_arch_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct kvm)->slots_arch_lock

arch/x86/kvm/mmu/mmu.c paging32_fetch() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-4503599627370495
PARAM_VALUE 1 level 1-s32max
CAPPED_DATA 0 gfn 1
CAPPED_DATA 0 gfn 1
NOSPEC 0 gfn
NOSPEC 0 gfn
USER_DATA 0 gfn 0-1048575[c]
UNITS 0 gfn unit_page
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c paging64_fetch() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-4503599627370495
PARAM_VALUE 1 level 1-s32max
CAPPED_DATA 0 gfn 1
CAPPED_DATA 0 gfn 1
NOSPEC 0 gfn
NOSPEC 0 gfn
USER_DATA 0 gfn 0-1099511627775[c]
UNITS 0 gfn unit_page
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/tdp_mmu.c kvm_flush_remote_tlbs_gfn() -> gfn_round_for_level()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-13510798882111483
PARAM_VALUE 1 level 0-255
DATA_SOURCE 0 gfn $1
DATA_SOURCE 1 level $2
USER_DATA 0 gfn 0-13510798882111483[c]
UNITS 0 gfn unit_page
LOCK2 rcu_read
HALF_LOCKED2 &file->f_mapping->invalidate_lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 _T->lock