bad_mt_xwr        361 arch/x86/include/asm/kvm_host.h 	u64 bad_mt_xwr;
bad_mt_xwr       4013 arch/x86/kvm/mmu.c 		((rsvd_check->bad_mt_xwr & (1ull << low6)) != 0);
bad_mt_xwr       4523 arch/x86/kvm/mmu.c 	rsvd_check->bad_mt_xwr = 0;
bad_mt_xwr       4617 arch/x86/kvm/mmu.c 	u64 bad_mt_xwr;
bad_mt_xwr       4638 arch/x86/kvm/mmu.c 	bad_mt_xwr = 0xFFull << (2 * 8);	/* bits 3..5 must not be 2 */
bad_mt_xwr       4639 arch/x86/kvm/mmu.c 	bad_mt_xwr |= 0xFFull << (3 * 8);	/* bits 3..5 must not be 3 */
bad_mt_xwr       4640 arch/x86/kvm/mmu.c 	bad_mt_xwr |= 0xFFull << (7 * 8);	/* bits 3..5 must not be 7 */
bad_mt_xwr       4641 arch/x86/kvm/mmu.c 	bad_mt_xwr |= REPEAT_BYTE(1ull << 2);	/* bits 0..2 must not be 010 */
bad_mt_xwr       4642 arch/x86/kvm/mmu.c 	bad_mt_xwr |= REPEAT_BYTE(1ull << 6);	/* bits 0..2 must not be 110 */
bad_mt_xwr       4645 arch/x86/kvm/mmu.c 		bad_mt_xwr |= REPEAT_BYTE(1ull << 4);
bad_mt_xwr       4647 arch/x86/kvm/mmu.c 	rsvd_check->bad_mt_xwr = bad_mt_xwr;