3629 		exb_bit_rsvd = rsvd_bits(63, 63);  in __reset_rsvds_bits_mask()
3631 		gbpages_bit_rsvd = rsvd_bits(7, 7);  in __reset_rsvds_bits_mask()
3638 		nonleaf_bit8_rsvd = rsvd_bits(8, 8);  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()
3662 			rsvd_bits(maxphyaddr, 63) |  in __reset_rsvds_bits_mask()
3663 			rsvd_bits(5, 8) | rsvd_bits(1, 2);	/* PDPTE */  in __reset_rsvds_bits_mask()
3665 			rsvd_bits(maxphyaddr, 62);	/* PDE */  in __reset_rsvds_bits_mask()
3667 			rsvd_bits(maxphyaddr, 62); 	/* PTE */  in __reset_rsvds_bits_mask()
3669 			rsvd_bits(maxphyaddr, 62) |  in __reset_rsvds_bits_mask()
3670 			rsvd_bits(13, 20);		/* large page */  in __reset_rsvds_bits_mask()
3676 			nonleaf_bit8_rsvd | rsvd_bits(7, 7) |  in __reset_rsvds_bits_mask()
3677 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
3680 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
3682 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
3684 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
3688 			gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) |  in __reset_rsvds_bits_mask()
3689 			rsvd_bits(13, 29);  in __reset_rsvds_bits_mask()
3691 			rsvd_bits(maxphyaddr, 51) |  in __reset_rsvds_bits_mask()
3692 			rsvd_bits(13, 20);		/* large page */  in __reset_rsvds_bits_mask()
3715 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
3717 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);  in __reset_rsvds_bits_mask_ept()
3719 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);  in __reset_rsvds_bits_mask_ept()
3720 	rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask_ept()
3725 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 29);  in __reset_rsvds_bits_mask_ept()
3727 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 20);  in __reset_rsvds_bits_mask_ept()