Searched refs:bad_mt_xwr (Results 1 – 3 of 3) sorted by relevance
352 return rsvd_check->bad_mt_xwr & BIT_ULL(pte & 0x3f); in __is_bad_mt_xwr()
4650 rsvd_check->bad_mt_xwr = 0; in __reset_rsvds_bits_mask()4763 u64 bad_mt_xwr; in __reset_rsvds_bits_mask_ept() local4783 bad_mt_xwr = 0xFFull << (2 * 8); /* bits 3..5 must not be 2 */ in __reset_rsvds_bits_mask_ept()4784 bad_mt_xwr |= 0xFFull << (3 * 8); /* bits 3..5 must not be 3 */ in __reset_rsvds_bits_mask_ept()4785 bad_mt_xwr |= 0xFFull << (7 * 8); /* bits 3..5 must not be 7 */ in __reset_rsvds_bits_mask_ept()4786 bad_mt_xwr |= REPEAT_BYTE(1ull << 2); /* bits 0..2 must not be 010 */ in __reset_rsvds_bits_mask_ept()4787 bad_mt_xwr |= REPEAT_BYTE(1ull << 6); /* bits 0..2 must not be 110 */ in __reset_rsvds_bits_mask_ept()4790 bad_mt_xwr |= REPEAT_BYTE(1ull << 4); in __reset_rsvds_bits_mask_ept()4792 rsvd_check->bad_mt_xwr = bad_mt_xwr; in __reset_rsvds_bits_mask_ept()
410 u64 bad_mt_xwr; member
Completed in 24 milliseconds