3778 	struct rsvd_bits_validate *rsvd_check;  in get_mmio_spte()  local
3807 	rsvd_check = &vcpu->arch.mmu->shadow_zero_check;  in get_mmio_spte()
3810 		reserved |= is_rsvd_spte(rsvd_check, sptes[level], level);  in get_mmio_spte()
3818 			       get_rsvd_bits(rsvd_check, sptes[level], level));  in get_mmio_spte()
4238 __reset_rsvds_bits_mask(struct rsvd_bits_validate *rsvd_check,  in __reset_rsvds_bits_mask()  argument
4246 	rsvd_check->bad_mt_xwr = 0;  in __reset_rsvds_bits_mask()
4270 		rsvd_check->rsvd_bits_mask[0][1] = 0;  in __reset_rsvds_bits_mask()
4271 		rsvd_check->rsvd_bits_mask[0][0] = 0;  in __reset_rsvds_bits_mask()
4272 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4273 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4276 			rsvd_check->rsvd_bits_mask[1][1] = 0;  in __reset_rsvds_bits_mask()
4282 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);  in __reset_rsvds_bits_mask()
4285 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);  in __reset_rsvds_bits_mask()
4288 		rsvd_check->rsvd_bits_mask[0][2] = rsvd_bits(63, 63) |  in __reset_rsvds_bits_mask()
4292 		rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd;	/* PDE */  in __reset_rsvds_bits_mask()
4293 		rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;	/* PTE */  in __reset_rsvds_bits_mask()
4294 		rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4296 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4297 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4300 		rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4303 		rsvd_check->rsvd_bits_mask[1][4] =  in __reset_rsvds_bits_mask()
4304 			rsvd_check->rsvd_bits_mask[0][4];  in __reset_rsvds_bits_mask()
4307 		rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4310 		rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4312 		rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd;  in __reset_rsvds_bits_mask()
4313 		rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;  in __reset_rsvds_bits_mask()
4314 		rsvd_check->rsvd_bits_mask[1][3] =  in __reset_rsvds_bits_mask()
4315 			rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask()
4316 		rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4319 		rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd |  in __reset_rsvds_bits_mask()
4321 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4322 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4354 __reset_rsvds_bits_mask_ept(struct rsvd_bits_validate *rsvd_check,  in __reset_rsvds_bits_mask_ept()  argument
4360 	rsvd_check->rsvd_bits_mask[0][4] = high_bits_rsvd | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
4361 	rsvd_check->rsvd_bits_mask[0][3] = high_bits_rsvd | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
4362 	rsvd_check->rsvd_bits_mask[0][2] = high_bits_rsvd | rsvd_bits(3, 6);  in __reset_rsvds_bits_mask_ept()
4363 	rsvd_check->rsvd_bits_mask[0][1] = high_bits_rsvd | rsvd_bits(3, 6);  in __reset_rsvds_bits_mask_ept()
4364 	rsvd_check->rsvd_bits_mask[0][0] = high_bits_rsvd;  in __reset_rsvds_bits_mask_ept()
4367 	rsvd_check->rsvd_bits_mask[1][4] = rsvd_check->rsvd_bits_mask[0][4];  in __reset_rsvds_bits_mask_ept()
4368 	rsvd_check->rsvd_bits_mask[1][3] = rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask_ept()
4369 	rsvd_check->rsvd_bits_mask[1][2] = high_bits_rsvd | rsvd_bits(12, 29);  in __reset_rsvds_bits_mask_ept()
4370 	rsvd_check->rsvd_bits_mask[1][1] = high_bits_rsvd | rsvd_bits(12, 20);  in __reset_rsvds_bits_mask_ept()
4371 	rsvd_check->rsvd_bits_mask[1][0] = rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask_ept()
4382 	rsvd_check->bad_mt_xwr = bad_mt_xwr;  in __reset_rsvds_bits_mask_ept()