3694 		exb_bit_rsvd = rsvd_bits(63, 63);  in __reset_rsvds_bits_mask()
3696 		gbpages_bit_rsvd = rsvd_bits(7, 7);  in __reset_rsvds_bits_mask()
3703 		nonleaf_bit8_rsvd = rsvd_bits(8, 8);  in __reset_rsvds_bits_mask()
3720 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);  in __reset_rsvds_bits_mask()
3723 			rsvd_check->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);  in __reset_rsvds_bits_mask()
3727 			rsvd_bits(maxphyaddr, 63) |  in __reset_rsvds_bits_mask()
3728 			rsvd_bits(5, 8) | rsvd_bits(1, 2);	/* PDPTE */  in __reset_rsvds_bits_mask()
3730 			rsvd_bits(maxphyaddr, 62);	/* PDE */  in __reset_rsvds_bits_mask()
3732 			rsvd_bits(maxphyaddr, 62); 	/* PTE */  in __reset_rsvds_bits_mask()
3734 			rsvd_bits(maxphyaddr, 62) |  in __reset_rsvds_bits_mask()
3735 			rsvd_bits(13, 20);		/* large page */  in __reset_rsvds_bits_mask()
3741 			nonleaf_bit8_rsvd | rsvd_bits(7, 7) |  in __reset_rsvds_bits_mask()
3742 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
3745 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
3747 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
3749 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
3753 			gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) |  in __reset_rsvds_bits_mask()
3754 			rsvd_bits(13, 29);  in __reset_rsvds_bits_mask()
3756 			rsvd_bits(maxphyaddr, 51) |  in __reset_rsvds_bits_mask()
3757 			rsvd_bits(13, 20);		/* large page */  in __reset_rsvds_bits_mask()
3780 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
3782 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);  in __reset_rsvds_bits_mask_ept()
3784 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);  in __reset_rsvds_bits_mask_ept()
3785 	rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask_ept()
3790 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 29);  in __reset_rsvds_bits_mask_ept()
3792 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 20);  in __reset_rsvds_bits_mask_ept()