Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c reset_guest_rsvds_bits_mask() -> __reset_rsvds_bits_mask()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
PARAM_VALUE 2 level 1-15
NOCHECK_CALL
USER_DATA 6 amd 0[c]
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/mmu/mmu.c reset_shadow_zero_bits_mask() -> __reset_rsvds_bits_mask()

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
PARAM_VALUE 5 pse 0
PARAM_VALUE 6 amd 1
BUF_SIZE 0 fmt 128
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 fmt 4096-ptr_max
PARAM_VALUE 3 nx 1
PARAM_VALUE 5 pse 0
PARAM_VALUE 6 amd 1
BUF_SIZE 0 fmt 128
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex