4500 			int maxphyaddr, int level, bool nx, bool gbpages,  in __reset_rsvds_bits_mask()  argument
4543 			rsvd_bits(maxphyaddr, 63) |  in __reset_rsvds_bits_mask()
4546 			rsvd_bits(maxphyaddr, 62);	/* PDE */  in __reset_rsvds_bits_mask()
4548 			rsvd_bits(maxphyaddr, 62); 	/* PTE */  in __reset_rsvds_bits_mask()
4550 			rsvd_bits(maxphyaddr, 62) |  in __reset_rsvds_bits_mask()
4558 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
4565 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
4568 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
4570 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
4572 			rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask()
4576 			gbpages_bit_rsvd | rsvd_bits(maxphyaddr, 51) |  in __reset_rsvds_bits_mask()
4579 			rsvd_bits(maxphyaddr, 51) |  in __reset_rsvds_bits_mask()
4599 			    int maxphyaddr, bool execonly)  in __reset_rsvds_bits_mask_ept()  argument
4604 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
4606 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 7);  in __reset_rsvds_bits_mask_ept()
4608 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);  in __reset_rsvds_bits_mask_ept()
4610 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(3, 6);  in __reset_rsvds_bits_mask_ept()
4611 	rsvd_check->rsvd_bits_mask[0][0] = rsvd_bits(maxphyaddr, 51);  in __reset_rsvds_bits_mask_ept()
4617 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 29);  in __reset_rsvds_bits_mask_ept()
4619 		rsvd_bits(maxphyaddr, 51) | rsvd_bits(12, 20);  in __reset_rsvds_bits_mask_ept()
4961 	ext.maxphyaddr = cpuid_maxphyaddr(vcpu);  in kvm_calc_mmu_role_ext()