3598 		exb_bit_rsvd = rsvd_bits(63, 63);  in reset_rsvds_bits_mask()
3600 		gbpages_bit_rsvd = rsvd_bits(7, 7);  in reset_rsvds_bits_mask()
3607 		nonleaf_bit8_rsvd = rsvd_bits(8, 8);  in reset_rsvds_bits_mask()
3623 			context->rsvd_bits_mask[1][1] = rsvd_bits(17, 21);  in reset_rsvds_bits_mask()
3626 			context->rsvd_bits_mask[1][1] = rsvd_bits(13, 21);  in reset_rsvds_bits_mask()
3630 			rsvd_bits(maxphyaddr, 63) |  in reset_rsvds_bits_mask()
3631 			rsvd_bits(5, 8) | rsvd_bits(1, 2);	/* PDPTE */  in reset_rsvds_bits_mask()
3633 			rsvd_bits(maxphyaddr, 62);	/* PDE */  in reset_rsvds_bits_mask()
3635 			rsvd_bits(maxphyaddr, 62); 	/* PTE */  in reset_rsvds_bits_mask()
3637 			rsvd_bits(maxphyaddr, 62) |  in reset_rsvds_bits_mask()
3638 			rsvd_bits(13, 20);		/* large page */  in reset_rsvds_bits_mask()
3643 			nonleaf_bit8_rsvd | rsvd_bits(7, 7) | rsvd_bits(maxphyaddr, 51);  in reset_rsvds_bits_mask()
3645 			nonleaf_bit8_rsvd | gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51);  in reset_rsvds_bits_mask()
3647 			rsvd_bits(maxphyaddr, 51);  in reset_rsvds_bits_mask()
3649 			rsvd_bits(maxphyaddr, 51);  in reset_rsvds_bits_mask()
3652 			gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) |  in reset_rsvds_bits_mask()
3653 			rsvd_bits(13, 29);  in reset_rsvds_bits_mask()
3655 			rsvd_bits(maxphyaddr, 51) |  in reset_rsvds_bits_mask()
3656 			rsvd_bits(13, 20);		/* large page */  in reset_rsvds_bits_mask()
3669 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7);  in reset_rsvds_bits_mask_ept()
3671 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);  in reset_rsvds_bits_mask_ept()
3673 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);  in reset_rsvds_bits_mask_ept()
3674 	context->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);  in reset_rsvds_bits_mask_ept()
3679 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 29);  in reset_rsvds_bits_mask_ept()
3681 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 20);  in reset_rsvds_bits_mask_ept()