Searched refs:rsvd_bits_mask (Results 1 – 3 of 3) sorted by relevance
3294 return (pte & rsvd_check->rsvd_bits_mask[bit7][level-1]) | in __is_rsvd_bits_set()3643 rsvd_check->rsvd_bits_mask[0][1] = 0; in __reset_rsvds_bits_mask()3644 rsvd_check->rsvd_bits_mask[0][0] = 0; in __reset_rsvds_bits_mask()3645 rsvd_check->rsvd_bits_mask[1][0] = in __reset_rsvds_bits_mask()3646 rsvd_check->rsvd_bits_mask[0][0]; in __reset_rsvds_bits_mask()3649 rsvd_check->rsvd_bits_mask[1][1] = 0; in __reset_rsvds_bits_mask()3655 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21); in __reset_rsvds_bits_mask()3658 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21); in __reset_rsvds_bits_mask()3661 rsvd_check->rsvd_bits_mask[0][2] = in __reset_rsvds_bits_mask()3664 rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd | in __reset_rsvds_bits_mask()[all …]
538 vcpu->arch.mmu.guest_rsvd_check.rsvd_bits_mask[0][2])) { in load_pdptrs()
260 u64 rsvd_bits_mask[2][4]; member