Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c hugepage_has_attrs() -> hugepage_test_mixed()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 1 gfn 0-18446744073709551614
PARAM_VALUE 2 level 2
CAPPED_DATA 1 gfn 1
CAPPED_DATA 1 gfn 1
DATA_SOURCE 0 slot $1
DATA_SOURCE 1 gfn $2 [m]
NOSPEC 0 slot->base_gfn
NOSPEC 0 slot->id
NOSPEC 0 slot->npages
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 slot->base_gfn 0-524287[c]
USER_DATA 0 slot->flags 0-u32max
USER_DATA 0 slot->gmem.pgoff 0-524287[c]
USER_DATA 0 slot->id 1-32763[c]
USER_DATA 0 slot->npages 0-4503599627370495[c]
USER_DATA 1 gfn 0-524799[c]
NO_OVERFLOW_SIMPLE 0 slot->npages
UNITS 0 slot unit_byte
UNITS 1 gfn unit_page
HALF_LOCKED2 &kvm->slots_arch_lock
HALF_LOCKED2 &kvm->slots_lock

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

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 0 slot->base_gfn 0-18446744073709551614
PARAM_VALUE 1 gfn 0-18446744073709551614
PARAM_VALUE 2 level 2-3
CAPPED_DATA 0 slot->base_gfn 1
CAPPED_DATA 1 gfn 1
CAPPED_DATA 1 gfn 1
DATA_SOURCE 1 gfn r gfn_round_for_level
FUZZY_MAX 2 level 3
PARAM_COMPARE 0 slot->base_gfn <= $1
PARAM_COMPARE 1 gfn >= $0->base_gfn
HARD_MAX 2 level 3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 gfn 0-524287[c]
UNITS 0 slot unit_byte
UNITS 1 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() -> hugepage_test_mixed()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 2 level 2-3
CAPPED_DATA 1 gfn 1
CAPPED_DATA 1 gfn 1
DATA_SOURCE 1 gfn r gfn_round_for_level
FUZZY_MAX 2 level 3
HARD_MAX 2 level 3
RX_PATH
TASK_NOT_RUNNING
UNITS 0 slot unit_byte
UNITS 1 gfn unit_page
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 global &srcu