Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c reset_ept_shadow_zero_bits_mask() -> __reset_rsvds_bits_mask_ept()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
DATA_SOURCE 2 execonly $1
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu

arch/x86/kvm/mmu/mmu.c reset_rsvds_bits_mask_ept() -> __reset_rsvds_bits_mask_ept()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
PARAM_VALUE 3 huge_page_level 1-3
DATA_SOURCE 2 execonly $1
DATA_SOURCE 3 huge_page_level $2
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu

arch/x86/kvm/mmu/mmu.c reset_tdp_shadow_zero_bits_mask() -> __reset_rsvds_bits_mask_ept()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
PARAM_VALUE 2 execonly 0
BUF_SIZE 0 fmt 128
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex