Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/x86.c kvm_add_async_pf_gfn() -> kvm_async_pf_hash_fn()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-4503599627370495
CAPPED_DATA 0 gfn 1
CAPPED_DATA 0 gfn 1
DATA_SOURCE 0 gfn $1
NOSPEC 0 gfn
NOSPEC 0 gfn
USER_DATA 0 gfn 0-4503599627370495[c]
UNITS 0 gfn unit_page
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/x86.c kvm_async_pf_gfn_slot() -> kvm_async_pf_hash_fn()

Type Parameter Key Value
DATA_SOURCE 0 gfn $1
NOSPEC 0 gfn
NOSPEC 0 gfn
USER_DATA 0 gfn 0-4503599627370495[c]
UNITS 0 gfn unit_page
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/x86.c kvm_del_async_pf_gfn() -> kvm_async_pf_hash_fn()

Type Parameter Key Value
PARAM_VALUE 0 gfn 0-18446744073709551614
PREEMPT_ADD
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex