Lines Matching defs:rsvd_check
4100 struct rsvd_bits_validate *rsvd_check;
4129 rsvd_check = &vcpu->arch.mmu->shadow_zero_check;
4132 reserved |= is_rsvd_spte(rsvd_check, sptes[level], level);
4140 get_rsvd_bits(rsvd_check, sptes[level], level));
4694 static void __reset_rsvds_bits_mask(struct rsvd_bits_validate *rsvd_check,
4702 rsvd_check->bad_mt_xwr = 0;
4726 rsvd_check->rsvd_bits_mask[0][1] = 0;
4727 rsvd_check->rsvd_bits_mask[0][0] = 0;
4728 rsvd_check->rsvd_bits_mask[1][0] =
4729 rsvd_check->rsvd_bits_mask[0][0];
4732 rsvd_check->rsvd_bits_mask[1][1] = 0;
4738 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
4741 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
4744 rsvd_check->rsvd_bits_mask[0][2] = rsvd_bits(63, 63) |
4748 rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd; /* PDE */
4749 rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd; /* PTE */
4750 rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd |
4752 rsvd_check->rsvd_bits_mask[1][0] =
4753 rsvd_check->rsvd_bits_mask[0][0];
4756 rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd |
4759 rsvd_check->rsvd_bits_mask[1][4] =
4760 rsvd_check->rsvd_bits_mask[0][4];
4763 rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd |
4766 rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd |
4768 rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd;
4769 rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;
4770 rsvd_check->rsvd_bits_mask[1][3] =
4771 rsvd_check->rsvd_bits_mask[0][3];
4772 rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd |
4775 rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd |
4777 rsvd_check->rsvd_bits_mask[1][0] =
4778 rsvd_check->rsvd_bits_mask[0][0];
4794 static void __reset_rsvds_bits_mask_ept(struct rsvd_bits_validate *rsvd_check,
4807 rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd | rsvd_bits(3, 7);
4808 rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd | rsvd_bits(3, 7);
4809 rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd | rsvd_bits(3, 6) | large_1g_rsvd;
4810 rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd | rsvd_bits(3, 6) | large_2m_rsvd;
4811 rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;
4814 rsvd_check->rsvd_bits_mask[1][4] = rsvd_check->rsvd_bits_mask[0][4];
4815 rsvd_check->rsvd_bits_mask[1][3] = rsvd_check->rsvd_bits_mask[0][3];
4816 rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd | rsvd_bits(12, 29) | large_1g_rsvd;
4817 rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd | rsvd_bits(12, 20) | large_2m_rsvd;
4818 rsvd_check->rsvd_bits_mask[1][0] = rsvd_check->rsvd_bits_mask[0][0];
4829 rsvd_check->bad_mt_xwr = bad_mt_xwr;