Lines Matching defs:rsvd_check
3460 __is_rsvd_bits_set(struct rsvd_bits_validate *rsvd_check, u64 pte, int level)
3464 return pte & rsvd_check->rsvd_bits_mask[bit7][level-1];
3467 static bool __is_bad_mt_xwr(struct rsvd_bits_validate *rsvd_check, u64 pte)
3469 return rsvd_check->bad_mt_xwr & BIT_ULL(pte & 0x3f);
3521 struct rsvd_bits_validate *rsvd_check;
3540 rsvd_check = &vcpu->arch.mmu->shadow_zero_check;
3550 reserved |= __is_bad_mt_xwr(rsvd_check, sptes[level - 1]) ||
3551 __is_rsvd_bits_set(rsvd_check, sptes[level - 1],
3994 struct rsvd_bits_validate *rsvd_check,
4002 rsvd_check->bad_mt_xwr = 0;
4019 rsvd_check->rsvd_bits_mask[0][1] = 0;
4020 rsvd_check->rsvd_bits_mask[0][0] = 0;
4021 rsvd_check->rsvd_bits_mask[1][0] =
4022 rsvd_check->rsvd_bits_mask[0][0];
4025 rsvd_check->rsvd_bits_mask[1][1] = 0;
4031 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);
4034 rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);
4037 rsvd_check->rsvd_bits_mask[0][2] =
4040 rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |
4042 rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |
4044 rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |
4047 rsvd_check->rsvd_bits_mask[1][0] =
4048 rsvd_check->rsvd_bits_mask[0][0];
4051 rsvd_check->rsvd_bits_mask[0][4] = exb_bit_rsvd |
4054 rsvd_check->rsvd_bits_mask[1][4] =
4055 rsvd_check->rsvd_bits_mask[0][4];
4058 rsvd_check->rsvd_bits_mask[0][3] = exb_bit_rsvd |
4061 rsvd_check->rsvd_bits_mask[0][2] = exb_bit_rsvd |
4064 rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |
4066 rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |
4068 rsvd_check->rsvd_bits_mask[1][3] =
4069 rsvd_check->rsvd_bits_mask[0][3];
4070 rsvd_check->rsvd_bits_mask[1][2] = exb_bit_rsvd |
4073 rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |
4076 rsvd_check->rsvd_bits_mask[1][0] =
4077 rsvd_check->rsvd_bits_mask[0][0];
4094 __reset_rsvds_bits_mask_ept(struct rsvd_bits_validate *rsvd_check,
4099 rsvd_check->rsvd_bits_mask[0][4] =
4101 rsvd_check->rsvd_bits_mask[0][3] =
4103 rsvd_check->rsvd_bits_mask[0][2] =
4105 rsvd_check->rsvd_bits_mask[0][1] =
4107 rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);
4110 rsvd_check->rsvd_bits_mask[1][4] = rsvd_check->rsvd_bits_mask[0][4];
4111 rsvd_check->rsvd_bits_mask[1][3] = rsvd_check->rsvd_bits_mask[0][3];
4112 rsvd_check->rsvd_bits_mask[1][2] =
4114 rsvd_check->rsvd_bits_mask[1][1] =
4116 rsvd_check->rsvd_bits_mask[1][0] = rsvd_check->rsvd_bits_mask[0][0];
4127 rsvd_check->bad_mt_xwr = bad_mt_xwr;