3294 	return (pte & rsvd_check->rsvd_bits_mask[bit7][level-1]) |  in __is_rsvd_bits_set()
3643 		rsvd_check->rsvd_bits_mask[0][1] = 0;  in __reset_rsvds_bits_mask()
3644 		rsvd_check->rsvd_bits_mask[0][0] = 0;  in __reset_rsvds_bits_mask()
3645 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
3646 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
3649 			rsvd_check->rsvd_bits_mask[1][1] = 0;  in __reset_rsvds_bits_mask()
3655 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);  in __reset_rsvds_bits_mask()
3658 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);  in __reset_rsvds_bits_mask()
3661 		rsvd_check->rsvd_bits_mask[0][2] =  in __reset_rsvds_bits_mask()
3664 		rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
3666 		rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
3668 		rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
3671 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
3672 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
3675 		rsvd_check->rsvd_bits_mask[0][3] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
3678 		rsvd_check->rsvd_bits_mask[0][2] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
3681 		rsvd_check->rsvd_bits_mask[0][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
3683 		rsvd_check->rsvd_bits_mask[0][0] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
3685 		rsvd_check->rsvd_bits_mask[1][3] =  in __reset_rsvds_bits_mask()
3686 			rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask()
3687 		rsvd_check->rsvd_bits_mask[1][2] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
3690 		rsvd_check->rsvd_bits_mask[1][1] = exb_bit_rsvd |  in __reset_rsvds_bits_mask()
3693 		rsvd_check->rsvd_bits_mask[1][0] =  in __reset_rsvds_bits_mask()
3694 			rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask()
3714 	rsvd_check->rsvd_bits_mask[0][3] =  in __reset_rsvds_bits_mask_ept()
3716 	rsvd_check->rsvd_bits_mask[0][2] =  in __reset_rsvds_bits_mask_ept()
3718 	rsvd_check->rsvd_bits_mask[0][1] =  in __reset_rsvds_bits_mask_ept()
3720 	rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask_ept()
3723 	rsvd_check->rsvd_bits_mask[1][3] = rsvd_check->rsvd_bits_mask[0][3];  in __reset_rsvds_bits_mask_ept()
3724 	rsvd_check->rsvd_bits_mask[1][2] =  in __reset_rsvds_bits_mask_ept()
3726 	rsvd_check->rsvd_bits_mask[1][1] =  in __reset_rsvds_bits_mask_ept()
3728 	rsvd_check->rsvd_bits_mask[1][0] = rsvd_check->rsvd_bits_mask[0][0];  in __reset_rsvds_bits_mask_ept()