Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c ept_walk_addr_generic() -> has_pferr_fetch()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
BUF_SIZE 0 w (-1),168
BUF_SIZE 0 w (-1),168
DATA_SOURCE 0 w $2
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/mmu/mmu.c paging32_walk_addr_generic() -> has_pferr_fetch()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
BUF_SIZE 0 w (-1),168
BUF_SIZE 0 w (-1),168
DATA_SOURCE 0 w $2
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/mmu/mmu.c paging64_walk_addr_generic() -> has_pferr_fetch()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
BUF_SIZE 0 w (-1),168
BUF_SIZE 0 w (-1),168
DATA_SOURCE 0 w $2
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex