Searched refs:rsvd_bits_mask (Results 1 – 3 of 3) sorted by relevance
3773 return (pte & rsvd_check->rsvd_bits_mask[bit7][level-1]) | in __is_rsvd_bits_set()4302 rsvd_check->rsvd_bits_mask[0][1] = 0; in __reset_rsvds_bits_mask()4303 rsvd_check->rsvd_bits_mask[0][0] = 0; in __reset_rsvds_bits_mask()4304 rsvd_check->rsvd_bits_mask[1][0] = in __reset_rsvds_bits_mask()4305 rsvd_check->rsvd_bits_mask[0][0]; in __reset_rsvds_bits_mask()4308 rsvd_check->rsvd_bits_mask[1][1] = 0; in __reset_rsvds_bits_mask()4314 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21); in __reset_rsvds_bits_mask()4317 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21); in __reset_rsvds_bits_mask()4320 rsvd_check->rsvd_bits_mask[0][2] = in __reset_rsvds_bits_mask()4323 rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd | in __reset_rsvds_bits_mask()[all …]
605 vcpu->arch.mmu.guest_rsvd_check.rsvd_bits_mask[0][2])) { in load_pdptrs()
326 u64 rsvd_bits_mask[2][PT64_ROOT_MAX_LEVEL]; member
