Searched refs:rsvd_bits_mask (Results 1 – 3 of 3) sorted by relevance
3318 return (pte & rsvd_check->rsvd_bits_mask[bit7][level-1]) | in __is_rsvd_bits_set()3708 rsvd_check->rsvd_bits_mask[0][1] = 0; in __reset_rsvds_bits_mask()3709 rsvd_check->rsvd_bits_mask[0][0] = 0; in __reset_rsvds_bits_mask()3710 rsvd_check->rsvd_bits_mask[1][0] = in __reset_rsvds_bits_mask()3711 rsvd_check->rsvd_bits_mask[0][0]; in __reset_rsvds_bits_mask()3714 rsvd_check->rsvd_bits_mask[1][1] = 0; in __reset_rsvds_bits_mask()3720 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21); in __reset_rsvds_bits_mask()3723 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21); in __reset_rsvds_bits_mask()3726 rsvd_check->rsvd_bits_mask[0][2] = in __reset_rsvds_bits_mask()3729 rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd | in __reset_rsvds_bits_mask()[all …]
558 vcpu->arch.mmu.guest_rsvd_check.rsvd_bits_mask[0][2])) { in load_pdptrs()
304 u64 rsvd_bits_mask[2][4]; member