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