4013 __is_rsvd_bits_set(struct rsvd_bits_validate *rsvd_check, u64 pte, int level)  in __is_rsvd_bits_set()  argument
4017 	return (pte & rsvd_check->rsvd_bits_mask[bit7][level-1]) |  in __is_rsvd_bits_set()
4018 		((rsvd_check->bad_mt_xwr & (1ull << low6)) != 0);  in __is_rsvd_bits_set()
4519 			struct rsvd_bits_validate *rsvd_check,  in __reset_rsvds_bits_mask()  argument
4527 	rsvd_check->bad_mt_xwr = 0;  in __reset_rsvds_bits_mask()
4544 		rsvd_check->rsvd_bits_mask[0][1] = 0;  in __reset_rsvds_bits_mask()
4545 		rsvd_check->rsvd_bits_mask[0][0] = 0;  in __reset_rsvds_bits_mask()
4546 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4547 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4550 			rsvd_check->rsvd_bits_mask[1][1] = 0;  in __reset_rsvds_bits_mask()
4556 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);  in __reset_rsvds_bits_mask()
4559 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);  in __reset_rsvds_bits_mask()
4562 		rsvd_check->rsvd_bits_mask[0][2] =  in __reset_rsvds_bits_mask()
4565 		rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4567 		rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4569 		rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4572 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4573 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4576 		rsvd_check->rsvd_bits_mask[0][4] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4579 		rsvd_check->rsvd_bits_mask[1][4] =  in __reset_rsvds_bits_mask()
4580 			rsvd_check->rsvd_bits_mask[0][4];  in __reset_rsvds_bits_mask()
4583 		rsvd_check->rsvd_bits_mask[0][3] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4586 		rsvd_check->rsvd_bits_mask[0][2] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4589 		rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4591 		rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4593 		rsvd_check->rsvd_bits_mask[1][3] =  in __reset_rsvds_bits_mask()
4594 			rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask()
4595 		rsvd_check->rsvd_bits_mask[1][2] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4598 		rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
4601 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
4602 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
4618 __reset_rsvds_bits_mask_ept(struct rsvd_bits_validate *rsvd_check,  in __reset_rsvds_bits_mask_ept()  argument
4623 	rsvd_check->rsvd_bits_mask[0][4] =  in __reset_rsvds_bits_mask_ept()
4625 	rsvd_check->rsvd_bits_mask[0][3] =  in __reset_rsvds_bits_mask_ept()
4627 	rsvd_check->rsvd_bits_mask[0][2] =  in __reset_rsvds_bits_mask_ept()
4629 	rsvd_check->rsvd_bits_mask[0][1] =  in __reset_rsvds_bits_mask_ept()
4631 	rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask_ept()
4634 	rsvd_check->rsvd_bits_mask[1][4] = rsvd_check->rsvd_bits_mask[0][4];  in __reset_rsvds_bits_mask_ept()
4635 	rsvd_check->rsvd_bits_mask[1][3] = rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask_ept()
4636 	rsvd_check->rsvd_bits_mask[1][2] =  in __reset_rsvds_bits_mask_ept()
4638 	rsvd_check->rsvd_bits_mask[1][1] =  in __reset_rsvds_bits_mask_ept()
4640 	rsvd_check->rsvd_bits_mask[1][0] = rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask_ept()
4651 	rsvd_check->bad_mt_xwr = bad_mt_xwr;  in __reset_rsvds_bits_mask_ept()