Lines Matching refs:spte
3588 static u64 ept_rsvd_mask(u64 spte, int level) in ept_rsvd_mask() argument
3600 if (spte & (1ULL << 7)) in ept_rsvd_mask()
3611 static void ept_misconfig_inspect_spte(struct kvm_vcpu *vcpu, u64 spte, in ept_misconfig_inspect_spte() argument
3614 printk(KERN_ERR "%s: spte 0x%llx level %d\n", __func__, spte, level); in ept_misconfig_inspect_spte()
3617 WARN_ON((spte & 0x7) == 0x2); in ept_misconfig_inspect_spte()
3620 WARN_ON((spte & 0x7) == 0x6); in ept_misconfig_inspect_spte()
3624 WARN_ON((spte & 0x7) == 0x4); in ept_misconfig_inspect_spte()
3627 if ((spte & 0x7)) { in ept_misconfig_inspect_spte()
3628 u64 rsvd_bits = spte & ept_rsvd_mask(spte, level); in ept_misconfig_inspect_spte()
3636 if (level == 1 || (level == 2 && (spte & (1ULL << 7)))) { in ept_misconfig_inspect_spte()
3637 u64 ept_mem_type = (spte & 0x38) >> 3; in ept_misconfig_inspect_spte()