3769 __is_rsvd_bits_set(struct rsvd_bits_validate *rsvd_check, u64 pte, int level)  in __is_rsvd_bits_set()  argument
3773 	return (pte & rsvd_check->rsvd_bits_mask[bit7][level-1]) |  in __is_rsvd_bits_set()
3774 		((rsvd_check->bad_mt_xwr & (1ull << low6)) != 0);  in __is_rsvd_bits_set()
4277 			struct rsvd_bits_validate *rsvd_check,  in __reset_rsvds_bits_mask()  argument
4285 	rsvd_check->bad_mt_xwr = 0;  in __reset_rsvds_bits_mask()
4302 		rsvd_check->rsvd_bits_mask[0][1] = 0;  in __reset_rsvds_bits_mask()
4303 		rsvd_check->rsvd_bits_mask[0][0] = 0;  in __reset_rsvds_bits_mask()
4304 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4305 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4308 			rsvd_check->rsvd_bits_mask[1][1] = 0;  in __reset_rsvds_bits_mask()
4314 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);  in __reset_rsvds_bits_mask()
4317 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);  in __reset_rsvds_bits_mask()
4320 		rsvd_check->rsvd_bits_mask[0][2] =  in __reset_rsvds_bits_mask()
4323 		rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4325 		rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4327 		rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4330 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4331 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4334 		rsvd_check->rsvd_bits_mask[0][4] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4337 		rsvd_check->rsvd_bits_mask[1][4] =  in __reset_rsvds_bits_mask()
4338 			rsvd_check->rsvd_bits_mask[0][4];  in __reset_rsvds_bits_mask()
4340 		rsvd_check->rsvd_bits_mask[0][3] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4343 		rsvd_check->rsvd_bits_mask[0][2] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4346 		rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4348 		rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4350 		rsvd_check->rsvd_bits_mask[1][3] =  in __reset_rsvds_bits_mask()
4351 			rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask()
4352 		rsvd_check->rsvd_bits_mask[1][2] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4355 		rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4358 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4359 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4375 __reset_rsvds_bits_mask_ept(struct rsvd_bits_validate *rsvd_check,  in __reset_rsvds_bits_mask_ept()  argument
4380 	rsvd_check->rsvd_bits_mask[0][4] =  in __reset_rsvds_bits_mask_ept()
4382 	rsvd_check->rsvd_bits_mask[0][3] =  in __reset_rsvds_bits_mask_ept()
4384 	rsvd_check->rsvd_bits_mask[0][2] =  in __reset_rsvds_bits_mask_ept()
4386 	rsvd_check->rsvd_bits_mask[0][1] =  in __reset_rsvds_bits_mask_ept()
4388 	rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask_ept()
4391 	rsvd_check->rsvd_bits_mask[1][4] = rsvd_check->rsvd_bits_mask[0][4];  in __reset_rsvds_bits_mask_ept()
4392 	rsvd_check->rsvd_bits_mask[1][3] = rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask_ept()
4393 	rsvd_check->rsvd_bits_mask[1][2] =  in __reset_rsvds_bits_mask_ept()
4395 	rsvd_check->rsvd_bits_mask[1][1] =  in __reset_rsvds_bits_mask_ept()
4397 	rsvd_check->rsvd_bits_mask[1][0] = rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask_ept()
4408 	rsvd_check->bad_mt_xwr = bad_mt_xwr;  in __reset_rsvds_bits_mask_ept()